diff -ur bash-4.2.orig/print_cmd.c bash-4.2/print_cmd.c
--- bash-4.2.orig/print_cmd.c	2012-12-07 15:21:47.381111626 +0000
+++ bash-4.2/print_cmd.c	2012-12-07 15:22:16.575674624 +0000
@@ -1394,7 +1394,7 @@
   for (i = 0; amount > 0; amount--)
     indentation_string[i++] = ' ';
   indentation_string[i] = '\0';
-  cprintf (indentation_string);
+  cprintf ("%s", indentation_string);
 }
 
 static void