small fix for debugger tool