diff --git a/docs/CommandGuide/bugpoint.html b/docs/CommandGuide/bugpoint.html
index 7403ecff99a..e34112cf6af 100644
--- a/docs/CommandGuide/bugpoint.html
+++ b/docs/CommandGuide/bugpoint.html
@@ -145,7 +145,7 @@ non-obvious ways.  Here are some hints and tips:<p>
 <li><tt>bugpoint</tt> can generate a lot of output and run for a long period of
     time.  It is often useful to capture the output of the program to file.  For
     example, in the C shell, you can type:<br>
-    <tt>bugpoint  ..... |& tee bugpoint.log</tt>
+    <tt>bugpoint  ..... |&amp; 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.