Some minor changes in the debugging output