(rm a debugging statement)