Tweaked format of debug output.