diff --git a/docs/CommandGuide/index.html b/docs/CommandGuide/index.html
index 72cd2cf5f96..1dea5583577 100644
--- a/docs/CommandGuide/index.html
+++ b/docs/CommandGuide/index.html
@@ -22,7 +22,7 @@ options) arguments to the tool you are interested in.</p>
 
 </div>
 
-<!-- *********************************************************************** -->
+<!-- ********************************************************************** -->
 <div class="doc_section">
   <a name="basic">Basic Commands</a>
 </div>