removed some old debugging code