diff -up bash-4.2/print_cmd.c-orig bash-4.2/print_cmd.c
--- bash-4.2/print_cmd.c-orig	2013-12-04 13:04:35.000000000 +0100
+++ bash-4.2/print_cmd.c	2013-12-04 13:05:35.000000000 +0100
@@ -1394,7 +1394,7 @@ indent (amount)
   for (i = 0; amount > 0; amount--)
     indentation_string[i++] = ' ';
   indentation_string[i] = '\0';
-  cprintf (indentation_string);
+  cprintf ("%s", indentation_string);
 }
 
 static void