fix reify alt ctor