Fix a few other doc typos
Merge pull request #532 from jonboulle/typos

Fix a few other doc typos