minor additions to debugging.md