fix typos picked up by @jakevdp