more edits in the "Debugging" page.