Retire the now obsolete dist()

No functional change.