fix typos in section 5.3, see #615