It wasn’t the ticket agent’s discretion. He double-checked their system and that’s what it said. Hopefully, they’ll update it soon.