bug fix in the debugger