fix some typos (with thanks to emer).