Fixed some small typos in the manual.