diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html
index 4787589ad28..7403ecff99a 100644
--- a/docs/CommandGuide/bugpoint.html
+++ b/docs/CommandGuide/bugpoint.html
@@ -147,7 +147,7 @@ non-obvious ways.  Here are some hints and tips:<p>
     example, in the C shell, you can type:<br>
     <tt>bugpoint  ..... |& tee bugpoint.log</tt>
     <br>to get a copy of <tt>bugpoint</tt>'s output in the file
-    <tt>bugpoint.log</tt>, as well as on your terminal.<p>
+    <tt>bugpoint.log</tt>, as well as on your terminal.
 
 <li><tt>bugpoint</tt> cannot debug problems with the linker. If
     <tt>bugpoint</tt> crashes before you see its "All input ok" message,