removing a tiny bit of debugging code