Dijkstra finished.