diff --git a/testsuites/psxtests/psx07/init.c b/testsuites/psxtests/psx07/init.c
index cece668383..f2d4b99cd3 100644
--- a/testsuites/psxtests/psx07/init.c
+++ b/testsuites/psxtests/psx07/init.c
@@ -43,7 +43,7 @@ void print_schedparam(
      schedparam->sched_ss_init_budget.tv_sec,
      schedparam->sched_ss_init_budget.tv_nsec );
 #else
-  printf( "%s_POSIX_SPORADIC_SERVER is not defined\n" );
+  printf( "_POSIX_SPORADIC_SERVER is not defined\n" );
 #endif
 }