Index: kernel/generic/src/main/main.c
===================================================================
--- kernel/generic/src/main/main.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/generic/src/main/main.c	(revision 771cd22b02d9fec4d7d601d12b2979a07abb50db)
@@ -127,5 +127,5 @@
 #endif
 
-#define CONFIG_STACK_SIZE	((1<<STACK_FRAMES)*STACK_SIZE)
+#define CONFIG_STACK_SIZE	((1 << STACK_FRAMES) * STACK_SIZE)
 
 /** Main kernel routine for bootstrap CPU.
Index: kernel/generic/src/mm/frame.c
===================================================================
--- kernel/generic/src/mm/frame.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/generic/src/mm/frame.c	(revision 771cd22b02d9fec4d7d601d12b2979a07abb50db)
@@ -1139,5 +1139,5 @@
 	printf("Zone size: %zd frames (%zdK)\n", zone->count, ((zone->count) * FRAME_SIZE) >> 10);
 	printf("Allocated space: %zd frames (%zdK)\n", zone->busy_count, (zone->busy_count * FRAME_SIZE) >> 10);
-	printf("Available space: %zd (%zdK)\n", zone->free_count, (zone->free_count * FRAME_SIZE) >> 10);
+	printf("Available space: %zd frames (%zdK)\n", zone->free_count, (zone->free_count * FRAME_SIZE) >> 10);
 	buddy_system_structure_print(zone->buddy_system, FRAME_SIZE);
 	
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision 62b6d17d006549679e1fbb1a49aecf4e38dc239c)
+++ kernel/generic/src/proc/task.c	(revision 771cd22b02d9fec4d7d601d12b2979a07abb50db)
@@ -269,5 +269,5 @@
 /** Get accounting data of given task.
  *
- * Note that task_lock on @t must be already held and
+ * Note that task lock of 't' must be already held and
  * interrupts must be already disabled.
  *