Fixed some typos in the document