Bug in unification fixed