minor update to debugger