Dijkstra Correction