Fix tragic, subtle bug in shortest-path rounding