Minor fix from Cyril Mottier