Minor correction (and clarification) to proof of Thm 10.3.20