diff --git a/docs/BytecodeFormat.html b/docs/BytecodeFormat.html
index ad353155a6a..51b56463bce 100644
--- a/docs/BytecodeFormat.html
+++ b/docs/BytecodeFormat.html
@@ -45,6 +45,7 @@
   </li>
   <li><a href="#versiondiffs">Version Differences</a>
     <ol>
+      <li><a href="#vers13">Version 1.3 Differences From 1.4</a></li>
       <li><a href="#vers12">Version 1.2 Differences From 1.3</a></li>
       <li><a href="#vers11">Version 1.1 Differences From 1.2</a></li>
       <li><a href="#vers10">Version 1.0 Differences From 1.1</a></li>
@@ -1651,7 +1652,7 @@ describes the differences between that version and the one that <i>follows</i>.
 </p>
 </div>
 <!-- _______________________________________________________________________ -->
-<div class="doc_subsection"><a name="vers12">Version 1.3 Differences From 
+<div class="doc_subsection"><a name="vers13">Version 1.3 Differences From 
     1.4</a></div>
 <!-- _______________________________________________________________________ -->
 <div class="doc_subsubsection">Aligned Data</div>