Remove some old debugging code that was accidentally committed