That's been a thing for a very long time. It's the only time you'll see wait times that aren't in increments of 5. Even if it didn't mean walk-on, 13 minutes is practically nothing by itself.
I'll never forget how in 2019, when Hurricane Dorian was threatening WDW, it was the first time in decades I'd seen ToT at 13 minutes.