Fixing verified distance computation (that was not yet exercised and …

Fixing verified distance computation (that was not yet exercised and … #618