Was it removed by mistake ? I don't recall I made such a change. Maybe a wrong merge.