fix minor error in comment