Small improvement to a comment.