diff --git a/docs/SourceLevelDebugging.html b/docs/SourceLevelDebugging.html
index 64bdcd71409..c301efe5912 100644
--- a/docs/SourceLevelDebugging.html
+++ b/docs/SourceLevelDebugging.html
@@ -56,21 +56,23 @@
   <li><a href="#llvmdwarfextension">LLVM Dwarf Extensions</a>
     <ol>
       <li><a href="#objcproperty">Debugging Information Extension
-	  for Objective C Properties</a></li>
-      <ul>
-	<li><a href="#objcpropertyintroduction">Introduction</a></li>
-	<li><a href="#objcpropertyproposal">Proposal</a></li>
-	<li><a href="#objcpropertynewattributes">New DWARF Attributes</a></li>
-	<li><a href="#objcpropertynewconstants">New DWARF Constants</a></li>
-      </ul>
-      <li><a href="#acceltable">Name Accelerator Tables</a></li>
-      <ul>
-        <li><a href="#acceltableintroduction">Introduction</a></li>
-        <li><a href="#acceltablehashes">Hash Tables</a></li>
-        <li><a href="#acceltabledetails">Details</a></li>
-        <li><a href="#acceltablecontents">Contents</a></li>
-        <li><a href="#acceltableextensions">Language Extensions and File Format Changes</a></li>
-      </ul>
+	  for Objective C Properties</a>
+        <ul>
+	  <li><a href="#objcpropertyintroduction">Introduction</a></li>
+	  <li><a href="#objcpropertyproposal">Proposal</a></li>
+	  <li><a href="#objcpropertynewattributes">New DWARF Attributes</a></li>
+	  <li><a href="#objcpropertynewconstants">New DWARF Constants</a></li>
+        </ul>
+      </li>
+      <li><a href="#acceltable">Name Accelerator Tables</a>
+        <ul>
+          <li><a href="#acceltableintroduction">Introduction</a></li>
+          <li><a href="#acceltablehashes">Hash Tables</a></li>
+          <li><a href="#acceltabledetails">Details</a></li>
+          <li><a href="#acceltablecontents">Contents</a></li>
+          <li><a href="#acceltableextensions">Language Extensions and File Format Changes</a></li>
+        </ul>
+      </li>
     </ol>
   </li>
 </ul>
@@ -1831,8 +1833,7 @@ enum Trees {
 <div>
 <!-- ======================================================================= -->
 <h3>
-  <a name="objcproperty">Debugging Information Extension for Objective C
-Properties</a></li>
+  <a name="objcproperty">Debugging Information Extension for Objective C Properties</a>
 </h3>
 <div>
 <!-- *********************************************************************** -->