small change in DijkstraMinHeap class