The setlists they use for social media are usually printed after the show with corrections that had been made (to avoid having to cross out/add certain things), so I'd say it's probably correct.