Fix a couple of typos in the manual.