Fix in unification with Top