minor fix in DFS