minor updates to Dijkstra