fixed unification bug