correction to Ticket.java