diff --git a/docs/SourceLevelDebugging.html b/docs/SourceLevelDebugging.html
index 8a47a88..71c74a1 100644
--- a/docs/SourceLevelDebugging.html
+++ b/docs/SourceLevelDebugging.html
@@ -72,8 +72,8 @@
 
 
 <!-- *********************************************************************** -->
-<div class="doc_section"><a name="introduction">Introduction</a></div> <!--
-*********************************************************************** -->
+<div class="doc_section"><a name="introduction">Introduction</a></div> 
+<!-- *********************************************************************** -->
 
 <div class="doc_text">
 
@@ -1028,6 +1028,7 @@
 <div class="doc_section">
   <a name="ccxx_frontend">C/C++ front-end specific debug information</a>
 </div>
+<!-- *********************************************************************** -->
 
 <div class="doc_text">