Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
+++ generic/src/main/kinit.c	(revision 8e3bf3e207ac51e893717b72db643a58917e68d2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -107,8 +107,6 @@
 			spinlock_unlock(&t->lock);
 			thread_ready(t);
-		}
-		else {
+		} else
 			panic("thread_create/kmp\n");
-		}
 		thread_join(t);
 		thread_detach(t);
@@ -135,6 +133,6 @@
 				spinlock_unlock(&t->lock);
 				thread_ready(t);
-			}
-			else panic("thread_create/kcpulb\n");
+			} else
+				panic("thread_create/kcpulb\n");
 
 		}
@@ -196,5 +194,4 @@
 }
 
- /** @}
+/** @}
  */
-
Index: generic/src/main/main.c
===================================================================
--- generic/src/main/main.c	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
+++ generic/src/main/main.c	(revision 8e3bf3e207ac51e893717b72db643a58917e68d2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -325,5 +325,4 @@
 #endif /* CONFIG_SMP */
 
- /** @}
- */
-
+/** @}
+ */
Index: generic/src/main/uinit.c
===================================================================
--- generic/src/main/uinit.c	(revision 62939f75c170f1f9bc18ec3a7157792a32b0e11c)
+++ generic/src/main/uinit.c	(revision 8e3bf3e207ac51e893717b72db643a58917e68d2)
@@ -27,5 +27,5 @@
  */
 
- /** @addtogroup main
+/** @addtogroup main
  * @{
  */
@@ -62,9 +62,7 @@
 
 	free((uspace_arg_t *) arg);
-	
 	userspace(&uarg);
 }
 
- /** @}
+/** @}
  */
-