patch added to branch wolfgangTicketCmd ([8041eab372])