I saw you changed  this in your latest commit @benoitg ? So is it fixed now ?