Fix typos (thanks @bartvde)