Fixing a bad comment