further update of Dijkstra