updates to debugging section in manual