fix typos noticed by @ncorai