Minor fixes to comments.