Minor tweak for debugger diagnostics