Fix a bad comment.