clean up some debugging code