Fix some typos in manual

This pull request fixes a few small typos in the manual (and one in news.html)