Small fix from Regis-Michel Leclerc