correct the debug output format