improvements to debugging system