Index: uspace/lib/libc/arch/ia32/include/config.h
===================================================================
--- uspace/lib/libc/arch/ia32/include/config.h	(revision 776f2e6f3f2763bf655dd3937028c5934c7785c9)
+++ uspace/lib/libc/arch/ia32/include/config.h	(revision bd804653e43355acb79fecc133c2780b8a5c5a1b)
@@ -37,5 +37,5 @@
 
 #define PAGE_WIDTH	12
-#define PAGE_SIZE	(1<<PAGE_WIDTH)
+#define PAGE_SIZE	(1 << PAGE_WIDTH)
 #define PAGE_COLOR_BITS	0		/* dummy */