Fix a few typos in comments and docs