fix record unification