fix unification bug