An extra-work ticket, filled in