Fix a typo in the manual.