--- web/history.pm	2007-10-02 13:10:25.195313684 +0200
+++ web/history.pm	2007-10-02 13:10:28.195484653 +0200
@@ -304,7 +304,7 @@
     my $diff = `$cmd 2> /dev/null`;
 
     if ($text_html eq "html") {
-	print "<!-- $cmd --!>\n";
+	print "<!-- $cmd -->\n";
 	$diff = escapeHTML($diff);
 	$diff = diff_pretty($diff);
 	print "<pre>$diff</pre>\n";
@@ -385,7 +385,7 @@
 			}
 			
 			if ($text_html eq "html") { 
-			    print "<!-- $cmd --!>\n";
+			    print "<!-- $cmd -->\n";
 			    $diff = escapeHTML($diff);
 			    $diff = diff_pretty($diff);
 			    print "<pre>$diff</pre>\n";
@@ -404,7 +404,7 @@
 		    my $diff = `$cmd 2> /dev/null`;
 
 		    if ($text_html eq "html") { 
-			print "<!-- $cmd --!>\n";
+			print "<!-- $cmd -->\n";
 			$diff = escapeHTML($diff);
 			$diff = diff_pretty($diff);
 			print "<pre>$diff</pre>\n";
@@ -472,7 +472,7 @@
     my $diff = `$cmd 2> /dev/null`;
 
     if ($text_html eq "html") {
-	print "<!-- $cmd --!>\n";
+	print "<!-- $cmd -->\n";
 	$diff = escapeHTML($diff);
 	$diff = diff_pretty($diff);
 	print "<pre>$diff</pre>\n";