--- a/doc/html/using_pyke/creating_engine.html
+++ b/doc/html/using_pyke/creating_engine.html
@@ -44,6 +44,7 @@
 <div class="normal-nav"><a href="creating_engine.html">Creating an Engine</a></div>
 <div class="normal-nav"><a href="adding_facts.html">Asserting Facts</a></div>
 <div class="normal-nav"><a href="proving_goals.html">Proving Goals</a></div>
+<div class="normal-nav"><a href="other_functions.html">Other functions</a></div>
 </div>
 <div class="normal-nav"><a href="../examples.html">Examples</a></div>
 <div class="normal-nav"><a href="../PyCon2008-paper.html">PyCon 2008 Paper</a></div>
@@ -100,7 +101,7 @@
 <a class="reference external" href="../pyke_syntax/krb_syntax/index.html">.krb files</a>, and <a class="reference external" href="../pyke_syntax/kqb_syntax.html">.kqb files</a>) starting at each source directory
 indicated in <em>paths</em> and places all of the compiled files in the
 associated <em>target packages</em>.  This causes all of the <a class="reference external" href="../knowledge_bases/index.html">knowledge bases</a>
-to be loaded and made ready to <a class="reference external" href="../using_pyke.html#setting-up-each-case">activate</a>.</p>
+to be loaded and made ready to <a class="reference external" href="index.html#getting-started">activate</a>.</p>
 <p>Pyke source files may be spread out over multiple directories and may be
 compiled into one or more target packages.  Multiple target packages
 would be used when more than one application wants to share a set of
@@ -198,6 +199,9 @@
 </div>
 <div class="right-item"><a href="proving_goals.html">Proving Goals</a><p>Using Pyke's API to prove goals from your Python program.</p>
 </div>
+<div class="right-item"><a href="other_functions.html">Other Functions</a><p>Other miscellaneous functions available that you might be interested
+in.</p>
+</div>
 
             </div>
           </td>