Extensive typo fixes and clarification of a number of sections.