Index: generic/src/main/kinit.c
===================================================================
--- generic/src/main/kinit.c	(revision b6529aefe60a3a99601ed01142f3ae38056aed50)
+++ generic/src/main/kinit.c	(revision 1bb2e7a3ca385e067db5d9c4c5654c28f92af609)
@@ -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 @@
 }
 
- /** @}
+/** @}
  */
-