diff --git a/docs/documentation.html b/docs/documentation.html
index 53c801e635d..d102ceecd69 100644
--- a/docs/documentation.html
+++ b/docs/documentation.html
@@ -58,6 +58,7 @@ Prior releases: <a href="/07/documentation.html">0.7.x</a>, <a href="/08/documen
              <li><a href="#semantics">4.6 Message Delivery Semantics</a>
              <li><a href="#replication">4.7 Replication</a>
              <li><a href="#compaction">4.8 Log Compaction</a>
+             <li><a href="#design_quotas">4.9 Quotas</a>
         </ul>
     </li>
     <li><a href="#implementation">5. Implementation</a>