fix typo around Theorem 2.12.5, close #350