fix typos (found by dsteinbrunner)