Fix typos found by Alexandre