fix typos spotted by @ethanwhite