Undo accidental unification