diff --git a/src/DataFlow.ml b/src/DataFlow.ml
index de1831bb6f8af4e9bc1585455dcdd11ab090b925..661b3a96b2877078600df9fc2d1fa56054ab8472 100644
--- a/src/DataFlow.ml
+++ b/src/DataFlow.ml
@@ -200,8 +200,11 @@ module ForCustomMaps
 
   (* Populate the queue with the root variables. *)
 
+  (* Our use of [update] here means that it is permitted for [foreach_root]
+     to seed several properties at a single root. *)
+
   let () =
-    G.foreach_root (fun x p -> V.set x p; schedule x)
+    G.foreach_root update
 
   (* As long as the queue is nonempty, take a variable and examine it. *)