Fix a number of typos in manual pages and user-visible messages.