Fix typo in proof of Thm 10.4.3
Merge pull request #386 from rwbarton/theorem-10.4.3

Fix typo in proof of Thm 10.4.3