Fixed a number of typos and clarified some paragraphs.