fix typo in theorem 7.7.4
errata for cd8a902
Merge pull request #665 from mikeshulman/theorem7.7.4

fix typo in theorem 7.7.4