o Minor bugfixes:
    - Fix some typos in the manpages. Patch from A. Costa. Fixes bug 6500.