Fix typo in the manual.