Dijkstra done