Fixes a few typos mentioned by Fippo.