diff --git a/cpukit/dev/ioprintf.c b/cpukit/dev/ioprintf.c
index 1f16389b47..1283b1d493 100644
--- a/cpukit/dev/ioprintf.c
+++ b/cpukit/dev/ioprintf.c
@@ -40,7 +40,7 @@
 
 #include <rtems/dev/io.h>
 
-int _IO_Printf( IO_Put_char put_char, void *arg, char const  *fmt, ... )
+int _IO_Printf( IO_Put_char put_char, void *arg, char const *fmt, ... )
 {
   va_list ap;
   int     len;
diff --git a/cpukit/include/rtems/dev/io.h b/cpukit/include/rtems/dev/io.h
index b8bcde7af4..2fdf305056 100644
--- a/cpukit/include/rtems/dev/io.h
+++ b/cpukit/include/rtems/dev/io.h
@@ -79,9 +79,9 @@ typedef void ( *IO_Put_char )( int c, void *arg );
  * @return Returns the count of put characters.
  */
 int _IO_Printf(
-  IO_Put_char  put_char,
-  void        *arg,
-  char const  *fmt,
+  IO_Put_char put_char,
+  void       *arg,
+  char const *fmt,
   ...
 ) RTEMS_PRINTFLIKE( 3, 4 );
 
@@ -100,10 +100,10 @@ int _IO_Printf(
  * @return Returns the count of put characters.
  */
 int _IO_Vprintf(
-  IO_Put_char  put_char,
-  void        *arg,
-  char const  *fmt,
-  va_list      ap
+  IO_Put_char put_char,
+  void       *arg,
+  char const *fmt,
+  va_list     ap
 );
 
 /**