Updating documentation for debugger