DFS: bugfix