added some debugging helpers