Minor cosmetic changes in dijkstra & add demo