--- monitor.c	2004-06-13 21:08:13.000000000 -0700
+++ monitor-new.c	2004-06-13 21:07:43.000000000 -0700
@@ -1437,7 +1437,7 @@
 static void term_print_cmdline (const char *cmdline)
 {
     term_show_prompt();
-    term_printf(cmdline);
+    term_printf("%s", cmdline);
     term_flush();
 }