Fixed some typos; improvements to the text