Fix a couple of typos
Fix typos and capitalization of proper names
Revert de-prettization of shouldn’t.
Merge pull request #1408 from e2jk/fix-typos

Fix typos and capitalization of proper names