fix typos, must keep the pedants happy