small improvements to the debug printer