Typo and other small fixes in the manuals and the man page