Fix some typos in the manual.

Hi, I fixed a few typos in the manual.  All changes in here are cosmetic, nothing should change the meaning of what was written.

I hope this helps,
Jochen