@@ -1034,8 +1034,8 @@ For example:
10341034 className : String
10351035
10361036**Note** that it is no longer possible to use the ``addStudent``
1037−method from earlier as that would change the size of the class. A
1038−method to add a student must now specify in the type that the
1037+function from earlier, since that would change the size of the class. A
1038+function to add a student must now specify in the type that the
10391039size of the class has been increased by one. As the size is specified
10401040using natural numbers, the new value can be incremented using the
10411041``S`` constructor.