Simpler formulation for  Dual distance.

Less wordy equivalent.

Not important, just something I was noticing while digging into something several days back (did not turn out to be a bug here, though at one point I suspected it).