Fix typos cf. JM's comments