Dijktstra's Alg Debuged