bug fix in tsort