better doc for did_ticket()