much more useful debugging output