minor changes in the debugging messages