Minor edit of a comment.