--- a/doc/html/using_pyke/creating_engine.html
+++ b/doc/html/using_pyke/creating_engine.html
@@ -200,7 +200,8 @@
 <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>
+in, such as tracing rules and smart error tracebacks that show lines
+from your .krb files.</p>
 </div>
 
             </div>