diff --git a/utils/xmldump.php b/utils/xmldump.php
index 79dd9826c..4ad5be69f 100644
--- a/utils/xmldump.php
+++ b/utils/xmldump.php
@@ -548,6 +548,9 @@ if($folder) {
 
 echo "</dms>\n";
 echo "<!--\n";
+echo "Command:\n";
+echo "  ".str_replace('--', '-', implode(" ", $argv))."\n";
+echo "Statistics:\n";
 foreach($statistic as $type=>$count)
 	echo "  ".$type.": ".$count."\n";
 echo "-->\n"