Trivial edit to comments.