a few more lines of documentation for the debugger