minor changes to debugger tools