Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision decfbe568390810f5459aa2763e9a9d2b2f00d6a)
+++ kernel/generic/src/mm/frame.c	(revision 2ddcc7b0c2ebbacaf67571285d726dc6b2a52966)
@@ -1234,9 +1234,9 @@
 {
 #ifdef __32_BITS__
-	printf("[nr] [base addr ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
+	printf("[nr] [base addr] [frames    ] [flags ] [free frames ] [busy frames ]\n");
 #endif
 
 #ifdef __64_BITS__
-	printf("[nr] [base address      ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
+	printf("[nr] [base address    ] [frames    ] [flags ] [free frames ] [busy frames ]\n");
 #endif
 	
@@ -1274,9 +1274,9 @@
 		
 #ifdef __32_BITS__
-		printf("   %10p", base);
+		printf("  %10p", base);
 #endif
 		
 #ifdef __64_BITS__
-		printf("   %18p", base);
+		printf(" %18p", base);
 #endif