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?