fixed the unification test