Small fixes to comments.