diff --git a/docs/LangRef.html b/docs/LangRef.html
index 9e1a1e44150..b76a3d533ce 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -2186,6 +2186,8 @@ in signal handlers).</p>
 
 </div>
 
+</div>
+
 <!-- *********************************************************************** -->
 <h2><a name="constants">Constants</a></h2>
 <!-- *********************************************************************** -->