fix a bad comment