improvements to debugger