Fix a typo in the manual