Fix a bug in the SCC algorithm