Fixe github issue 3963