fix typos in section 6.9, close #554