fix problem with unification