Fix typos roported by Gabor Greif, thanks!