--- src/tools/pki-tool.c	2009-02-26 18:32:38.000000000 +0100
+++ src/tools/pki-tool.c.oden	2010-01-28 16:32:06.000180185 +0100
@@ -18,7 +18,7 @@ char * prompt_pin( char * pt ) {
 	int k;
 	char c;
 
-	printf(pt);
+	printf("%s", pt);
 	memset(buf, 0, sizeof(buf));
 
 	for(i = 0 ; i < sizeof(buf); i++ ) {
@@ -44,7 +44,7 @@ char * prompt_str( char * pt ) {
 	int k;
 	char c;
 
-	printf(pt);
+	printf("%s", pt);
 	memset(buf, 0, sizeof(buf));
 
 	for(i = 0 ; i < sizeof(buf); i++ ) {