Fixed a couple places where invisible characters where copy-pasted into documentation comments from the hol-light Reference Manual.