Minor improvements to comments.