Fix a bad comment