Adding some debugging output to expire_tickets\!