Updates to debugging section of manual