Update debugging.texy

A few adjustments