made some last cosmetic changes to dijkstra