small update to the debugger