Updates to manual on debugging