Spelling and book formatting changes.

Ran spell check on the files (not easy, no built in support for
spell checking. Formatted pdf to use a larger font.