update additional typos in the documentation

(patch by Gregor Hermann)