diff --git a/include/minix/sef.h b/include/minix/sef.h
index 9bb2414b1..bd9e8fadd 100644
--- a/include/minix/sef.h
+++ b/include/minix/sef.h
@@ -16,7 +16,7 @@ _PROTOTYPE( void sef_exit, (int status) );
 #include <stdio.h>
 #define sef_dprint                      printf
 #define sef_debug_begin()               (void)(NULL)
-#define sef_debug_end()                 fflush(stdout)
+#define sef_debug_end()                 (void)(NULL)
 
 /*===========================================================================*
  *				  SEF Init				     *