fix typos in section 5.2