Fix a few typos in the comments.