Fix a comment.