--- speech_tools/siod/siodeditline.c.str	2009-04-07 17:51:25.000000000 +0200
+++ speech_tools/siod/siodeditline.c	2009-04-07 17:51:39.000000000 +0200
@@ -151,7 +151,7 @@
     symbol = el_current_sym();
     infostring = siod_manual_sym(symbol);
     putc('\n',stderr);
-    fprintf(stderr,infostring);
+    fprintf(stderr,"%s",infostring);
     fflush(stderr);
     putc('\n',stderr);
     fflush(stderr);
--- speech_tools/utils/cmd_line.cc.str	2009-04-07 18:01:59.000000000 +0200
+++ speech_tools/utils/cmd_line.cc	2009-04-07 18:02:10.000000000 +0200
@@ -460,7 +460,7 @@
     fprintf(stdout,"<cmdsynopsis><command>%s</command>", 
 	    (const char *)full.filename());
 
-    fprintf(stdout, (const char *)ts.get_upto_eoln().string());
+    fprintf(stdout, "%s", (const char *)ts.get_upto_eoln().string());
 
     while (!ts.eof())
     {