diff --git a/docs/egl.html b/docs/egl.html
index 3d8a85b4e7e..2bc8f237272 100644
--- a/docs/egl.html
+++ b/docs/egl.html
@@ -168,6 +168,7 @@ the X server directly using (XCB-)DRI2 protocol.</p>
 <p>This driver can share DRI drivers with <code>libGL</code>.</p>
 
 </dd>
+</dl>
 
 <h2>Packaging</h2>
 
diff --git a/docs/precompiled.html b/docs/precompiled.html
index d1f4acec4d9..97dc1ff4bd8 100644
--- a/docs/precompiled.html
+++ b/docs/precompiled.html
@@ -24,10 +24,12 @@ Some Linux distributions closely follow the latest Mesa releases. On others one
 has to use unofficial channels.
 <br>
 There are some general directions:
+<ul>
 <li>Debian/Ubuntu based distros - PPA: xorg-edgers, oibaf and padoka</li>
 <li>Fedora - Corp: erp and che</li>
 <li>OpenSuse/SLES - OBS: X11:XOrg and pontostroy:X11</li>
 <li>Gentoo/Archlinux - officially provided/supported</li>
+</ul>
 </p>
 
 </div>
diff --git a/docs/utilities.html b/docs/utilities.html
index c141abeefef..222e7343897 100644
--- a/docs/utilities.html
+++ b/docs/utilities.html
@@ -31,7 +31,7 @@
   <dd>is a very useful tool for tracking down
   memory-related problems in your code.</dd>
 
-  <dt><a href="https://scan.coverity.com/projects/mesa">Coverity</a><dt>
+  <dt><a href="https://scan.coverity.com/projects/mesa">Coverity</a></dt>
   <dd>provides static code analysis of Mesa.  If you create an account
   you can see the results and try to fix outstanding issues.</dd>
 </dl>