Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision ccb426c40c1bb63880c8f1dd8edb16e9b19286f9)
+++ kernel/generic/src/mm/frame.c	(revision 33dac7d46d9290e712c0f579d477a3c7c97536a5)
@@ -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