Bug in debugger fixed