# 
# 
# patch "roster.cc"
#  from [c5649998ebbd7bc263a1c00a0c8b3319adfd95ff]
#    to [3b9159bb3fba3195ae4d1e1eabe7a2a4c43cda95]
# 
============================================================
--- roster.cc	c5649998ebbd7bc263a1c00a0c8b3319adfd95ff
+++ roster.cc	3b9159bb3fba3195ae4d1e1eabe7a2a4c43cda95
@@ -817,7 +817,10 @@
   I(has_root());
   size_t maxdepth = nodes.size(); 
   for (dfs_iter i(root_dir); !i.finished(); ++i)
-    I(maxdepth-- > 0);
+    {
+      I(*i == get_node((*i)->self));
+      I(maxdepth-- > 0);
+    }
   I(maxdepth == 0);
 }