Fix typo in manual