@@ -84,7 +84,7 @@ The inferred type of ``addProps`` is::
85Here, the type variable ``r`` has kind ``# *`` - it represents a `row` of `types`. It can be instantiated with any row of named types.
85Here, the type variable ``r`` has kind ``# *`` - it represents a `row` of `types`. It can be instantiated with any row of named types.
87−In other words, ``addProps`` accepts any record which has properties ``Foo`` and ``Bar``, and *any other record properties*.
87+In other words, ``addProps`` accepts any record which has properties ``foo`` and ``bar``, and *any other record properties*.
89Therefore, the following application compiles::
89Therefore, the following application compiles::