Index: main.c
===================================================================
--- main.c
+++ main.c	2013-11-17 13:27:00.000000000 +0000
@@ -319,7 +319,7 @@
 	if (s2)
 		printf(s1, s2);
 	else
-		printf(s1);
+		printf("%s",s1);
 	if (tl_yychar != -1 && tl_yychar != 0)
 	{	printf(", saw '");
 		tl_explain(tl_yychar);