Minor edit to a comment.