markov chains error

[jstac]

In theorem 25.3 of https://intro.quantecon.org/markov_chains_I.html, the last $\psi$ should be $\psi^*$