Correction in proof of Thm 4.9.4
Errata for 2c194835, unmarked
Merge pull request #697 from TimRichter/proof494

Proof494