Fix naming problem in unification