Fix the error in Lemma 11.4.1 better, I think
Merge pull request #349 from mikeshulman/realcoincidence

Fix the error in Lemma 11.4.1 better, I think