fixing typos in the manual.