Fix typo in manual.