Fix a few typos in the manuals.
Merge pull request #4 from tobias/manual-typos

Fix a few typos in the manuals.