Make a debugging printf a little more useful.