Fix some typos in the man page