Dijkstra Requires Non-Negative Edge Weights

Dijkstra is correct only when all edge weights are non-negative; 'no negative cycle' is not enough.