#
#
# patch "commands.cc"
#  from [0c26aaf6b6178676c821c11587c3caa30ea5c9e7]
#    to [85a35ea75c9dedfaf934dcbfa4537eeac86809cd]
#
============================================================
--- commands.cc	0c26aaf6b6178676c821c11587c3caa30ea5c9e7
+++ commands.cc	85a35ea75c9dedfaf934dcbfa4537eeac86809cd
@@ -479,9 +479,13 @@ namespace commands
     // Print command parameters.
     string params = cmd->params();
     split_into_lines(params, lines);
-    for (vector<string>::const_iterator j = lines.begin();
-         j != lines.end(); ++j)
-      out << "  " << name << ' ' << *j << std::endl << std::endl;
+    if (lines.size() > 0)
+      {
+        for (vector<string>::const_iterator j = lines.begin();
+             j != lines.end(); ++j)
+          out << "  " << name << ' ' << *j << std::endl;
+        out << std::endl;
+      }
 
     if (cmd->children.size() > 0)
       {