Fixing debugging messages