Fix typo in proof of Thm 10.4.3