--- a/doc/html/about_pyke/installing_pyke.html
+++ b/doc/html/about_pyke/installing_pyke.html
@@ -163,7 +163,7 @@
 <p>The source code for the latest release can be found on the <a class="reference external" href="http://sourceforge.net/projects/pyke/files/">Pyke project
 download page</a> as <tt class="docutils literal"><span class="pre">pyke-&lt;release&gt;.zip</span></tt> (for Python2) and
-<tt class="docutils literal"><span class="pre">pyke3.1-&lt;release&gt;.zip</span></tt> (for Python3).  After unzipping these, go into the
+<tt class="docutils literal"><span class="pre">pyke3-&lt;release&gt;.zip</span></tt> (for Python3).  After unzipping these, go into the
 directory and run:</p>
 <pre class="literal-block">
 $ python setup.py build
@@ -279,7 +279,7 @@
   <div id="last-modified">
     Page last modified
-    Tue, Nov 03 2009.
+    Wed, Nov 04 2009.