diff --git a/armsrc/printf.c b/armsrc/printf.c
index d5e61798a..b5d0e449d 100644
--- a/armsrc/printf.c
+++ b/armsrc/printf.c
@@ -33,12 +33,7 @@
  *
  *	@(#)subr_prf.c	8.3 (Berkeley) 1/21/94
  */
-
-#include <stddef.h>
-#include <stdarg.h>
 #include "printf.h"
-#include "util.h"
-#include "string.h"
 
 typedef uint32_t uintmax_t;
 typedef int32_t intmax_t;
@@ -431,7 +426,6 @@ sprintf(char *dest, const char *fmt, ...)
 	/* http://www.pagetable.com/?p=298 */
 	int retval;
 	va_list ap;
-
 	va_start(ap, fmt);
 	retval = kvsprintf(fmt, dest, 10, ap);
 	va_end(ap);
diff --git a/armsrc/printf.h b/armsrc/printf.h
index ff2b6b68a..03f4688d9 100644
--- a/armsrc/printf.h
+++ b/armsrc/printf.h
@@ -12,6 +12,9 @@
 #define __PRINTF_H
 
 #include <stdarg.h>
+#include <stddef.h>
+#include "util.h"
+#include "string.h"
 
 int kvsprintf(const char *format, void *arg, int radix, va_list ap) __attribute__ ((format (printf, 1, 0)));
 int vsprintf(char *str, const char *format, va_list ap) __attribute__ ((format (printf, 2, 0)));