add some debugging tools