Correction: Graph: Cycle Detection