fixes #667: Ticketoptionen anpassen