fix unification (zero vector case)