Fixed a typo in the manual.