fix typo in theorem 7.7.4

see #664.