Row unification was not symmetric