Fix of a few typos in comments.