Fix a typo in manual