Details of, or auxiliary devices for, ticket-issuing machines