assorted formatting and typo fixes
Merge pull request #520 from jonboulle/master

assorted formatting and typo fixes