minor bug fixed in the ticket manager