Fix some typos in the manual