updated the debugger manual