Correct several typos in comments