--- a/doc/html/using_pyke.html
+++ b/doc/html/using_pyke.html
@@ -337,11 +337,11 @@
 ... except:
 ...     krb_traceback.print_exc(None, sys.stdout)   # sys.stdout needed for doctest
 Traceback (most recent call last):
-  File "<doctest using_pyke.txt[37]>", line 2, in <module>
+  File "<doctest using_pyke.txt[34]>", line 2, in <module>
     my_engine.prove_1('error_test', 'goal', (), 0)
-  File "...knowledge_engine.py", line 288, in prove_1
+  File "...knowledge_engine.py", line 289, in prove_1
     return next(iter(it))
-  File "...knowledge_engine.py", line 272, in gen
+  File "...knowledge_engine.py", line 273, in gen
     for plan in it:
   File "...rule_base.py", line 46, in __next__
     return next(self.iterator)