--- a/doc/html/using_pyke/other_functions.html
+++ b/doc/html/using_pyke/other_functions.html
@@ -152,7 +152,7 @@
 Traceback (most recent call last):
   File "<doctest other_functions.txt[19]>", line 2, in <module>
     my_engine.prove_1_goal('error_test.goal()')
-  File "...knowledge_engine.py", line 359, in prove_1_goal
+  File "...knowledge_engine.py", line 366, in prove_1_goal
     return goal.compile(goal_str).prove_1(self, **args)
   File "...goal.py", line 47, in prove_1
     return iter(it).next()
@@ -239,7 +239,7 @@
 
   <div id="last-modified">
     Page last modified
-    Tue, Mar 09 2010.
+    Wed, Mar 10 2010.
 
   </div>