fix typos I introduced in manual section 2.5
===GT=== #2433