--- a/examples/findall/README.txt
+++ b/examples/findall/README.txt
@@ -7,10 +7,10 @@
 Rather than finding individual siblings and cousins, these rules find all
 siblings and all cousins and assert them in a single fact (as a tuple).
 
-    >>> import run
+    >>> import driver
 
     # uses fc_findall.krb
-    >>> run.fc_test()
+    >>> driver.fc_test()
     egon has ('harald', 'claudia') as cousins
     ralf has ('harald', 'claudia') as cousins
     hilde has () as cousins
@@ -19,7 +19,7 @@
     claudia has ('egon', 'ralf') as cousins
 
     # uses bc_findall.krb
-    >>> run.bc_test()
+    >>> driver.bc_test()
     egon has ('harald', 'claudia') as cousins
     ralf has ('harald', 'claudia') as cousins
     hilde has () as cousins