Bugfix: in SCC algorithm