Dijkstra code looks good.