found a bug in --shortested; start the verifying over