Shoenfield absoluteness is well known for $\Pi_2^1$-statements, but it does not hold between a countable transitive model of ZFC and the universe. But it is also known that $\Pi_1^1$ statements are absolute between a countable transitive model of set theory and the universe.

My question is:

Where can I find a good reference for the last fact?