minor code clean-up in access_ticket_verify2()