add some debugging utilities