minor update to debugging section and list of maintainers