Updates to debugging section in manual