Fixes InfectedTickets issue #7