@@ -973,8 +973,8 @@ Dependent Records
973973
974974*Records* are data types which collect several values (the record's
975975*fields*) together. Idris provides syntax for defining records and
976−*automatically generating field access and update functions. For
977−*example, we can represent a person's name and age in a record:
976+*automatically generating field access and update functions*. For
977+example, we can represent a person's name and age in a record:
978978
979979.. code-block:: idris
980980