from Nick Slabakov: fix typos