Do we really have to use an other Obj.magic here ?