Minor correction (and clarification) to proof of Thm 10.3.20
Merge pull request #384 from rwbarton/theorem-10.3.20

Minor correction (and clarification) to proof of Thm 10.3.20