Fix the error in Lemma 11.4.1 better, I think