Small changes to corollary of unique fastest path.