Remove some accidentally-committed debug code