diff --git a/doc/index.html b/doc/index.html
index f6c2867dc6e6ff58756b414403366f99fb846411..eab82071909c72711134d720daa8e437dfb692f5 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -254,7 +254,7 @@ XCL (Peter Graves) <gnooth@gmail.com>
           and the work we did on ASDF 3,
           see the extended version (26 pages) of our paper
           <cite><a href="http://fare.tunes.org/files/asdf3/asdf3-2014.html"
-                   >ASDF3, or Why Lisp is Now an Acceptable Scripting Language</a></cite>
+                   >ASDF 3, or Why Lisp is Now an Acceptable Scripting Language</a></cite>
           (<a href="http://fare.tunes.org/files/asdf3/asdf3-2014.pdf">PDF</a>,
           <a href="http://github.com/fare/asdf3-2013">git</a>).
           The shorter version (8 pages), submitted to
@@ -264,7 +264,7 @@ XCL (Peter Graves) <gnooth@gmail.com>
           <a href="http://fare.tunes.org/files/asdf3/asdf3-2014.html">HTML</a>).
           Regarding ASDF 3, see also the slides of the
           <a href="https://github.com/fare/asdf3-2013/blob/master/els-slides.org"
-             >ASDF3 tutorial</a> presented at ELS 2013,
+             >ASDF 3 tutorial</a> presented at ELS 2013,
           and for an introduction to the source code, this video:
           <a href="https://www.youtube.com/watch?v=Qqqbc31ZZ-U">ASDF 3.1 walkthrough</a>.
           For more details about our work on ASDF 2,
@@ -419,20 +419,15 @@ XCL (Peter Graves) <gnooth@gmail.com>
         <a id="news"></a>
         <h3>What is happening</h3>
         <dl>
-          <dt>May 2014</dt>
-          <dd>Version 3.1.2 of ASDF 3 has been released.
-            In addition to significant improvements and bug fixes,
-            it notably sports the <tt>package-inferred-system</tt> extension.
-          </dd>
-          <dt>October 2013</dt>
-          <dd>Version 3.0.3 of ASDF 3 has been released.
-            It contains many bug fixes, including notably better Windows support.
-          </dd>
-          <dt>Since July 2013</dt>
+          <dt>July 2013 to May 2014</dt>
           <dd>Fran&ccedil;ois-Ren&eacute; Rideau has resigned as maintainer
-            after releasing ASDF 3.0.1, but remains an active developer.
+            but remained an active developer.
             Robert P. Goldman is interim maintainer until someone more gifted,
             charming, dedicated, and better-looking can be secured to fill the role.
+            ASDF 3.0.2 was released in July 2013, 3.0.3 in October 2013, and 3.1.2 in May 2014.
+            In addition to significant improvements and bug fixes,
+            notably better Windows support,
+            ASDF 3.1.2 notably sports the <tt>package-inferred-system</tt> extension.
           </dd>
           <dt>November 2012 to June 2013</dt>
           <dd>
@@ -472,7 +467,7 @@ XCL (Peter Graves) <gnooth@gmail.com>
           <dd>Christophe Rhodes is de facto maintainer,
             with notable contributions from
             Nikodemus Siivola, Peter Van Eynde, Edi Weitz, Kevin Rosenberg.
-            The system made more robust, a few more features.
+            The system made slightly more robust, a few more features.
             Last version: 1.97.
           </dd>
           <dt>August 2001 to May 2004</dt>