fix typos in dox