Fix a few typos in messages and in documentation