Slight enhancement to the debug info