close #638
errata for 43ea0a8
Merge pull request #644 from mikeshulman/thm2.11.3

close #638