-fix in the debugging output