diff --git a/doc/index.html b/doc/index.html
index eab82071909c72711134d720daa8e437dfb692f5..05ec9cd48894c090af63544a86e1700557738863 100644
--- a/doc/index.html
+++ b/doc/index.html
@@ -39,7 +39,7 @@
           and the ability to deliver standalone executables.
           It was pre-released as 2.27 on February 1st 2013,
           released as 3.0.0 on May 15th 2013,
-          and again as 3.1.2 on May 6th 2014.
+          again as 3.1.2 on May 6th 2014, and as 3.1.3 on 24 July 2014.
         </p>
         <a id="what_it_is"></a>
         <h3>What it is</h3>
@@ -419,6 +419,11 @@ XCL (Peter Graves) <gnooth@gmail.com>
         <a id="news"></a>
         <h3>What is happening</h3>
         <dl>
+          <dt>May 2014 to July 2014</dt>
+          <dd>ASDF bug fixing from 3.1.2 leads to release of 3.1.3, a major bug
+        fix release.  We strongly urge implementors that have shipped with 3.1.2
+        to upgrade to 3.1.3. There should be no incompatibilities, and some
+        very important bug fixes are provided. See the Changelog for more details.</dd>
           <dt>July 2013 to May 2014</dt>
           <dd>Fran&ccedil;ois-Ren&eacute; Rideau has resigned as maintainer
             but remained an active developer.