Fixed some typographic errors in comments.