Fix some typos in the User Manual