Fixing debugging output in expire_tickets