Minor change to a comment.