Fix bad comment marker.