Reopened since the bug does not come from my changes