-Bertrand Marc: fixing typos found by lintan