Fix several typos in the manual