diff --git a/docs/CommandLine.html b/docs/CommandLine.html
index e34de17faa2..76cc51ce203 100644
--- a/docs/CommandLine.html
+++ b/docs/CommandLine.html
@@ -256,8 +256,8 @@ example:</p>
 
 <div class="doc_code"><pre>
   ...
-  ofstream Output(OutputFilename.c_str());
-  if (Out.good()) ...
+  std::ofstream Output(OutputFilename.c_str());
+  if (Output.good()) ...
   ...
 </pre></div>