cleaning up some debugging code