Minor changes to the Compiler Correctness section