Rename members of CASTicket struct