Fix bug in Dijkstra
Fix equality problem in Dijkstra impl.
Add future reference