Fixing debugging output