typo in 7.1.4, close #407
add b672a4d to errata
Merge pull request #409 from mikeshulman/theorem7.1.4

typo in 7.1.4, close #407