fix definition unification bug.