diff --git a/console.c b/console.c
index 394176bf3fc4799275ce9ccac5318526f0fb8241..bc2c16769d028c73081e832ef6813e1f51edb4e5 100644
--- a/console.c
+++ b/console.c
@@ -47,8 +47,8 @@ printint(int xx, int base, int sign)
   while(--i >= 0)
     consputc(buf[i]);
 }
-
 //PAGEBREAK: 50
+
 // Print to the console. only understands %d, %x, %p, %s.
 void
 cprintf(char *fmt, ...)