Fixed some typos in the document.