tweak debug printing