Fixed a couple of typos in the manual.