Fix a comment, PR15777.