minor improvements to debugger