Index: trunk/doc/design/trace.pl
===================================================================
--- trunk/doc/design/trace.pl	(revision 2113)
+++ trunk/doc/design/trace.pl	(revision 2186)
@@ -21,5 +21,5 @@
 	$N = @words;
 
-	printf OUT "$start\{";
+	print OUT "$start\{";
 	for ($i = 0; $i < @words; $i++) {
 	    $word = $words[$i];