Correction of the implementation of the MCNDFS with extensions allred and early cycle detection.