Index: kernel/generic/src/main/uinit.c
===================================================================
--- kernel/generic/src/main/uinit.c	(revision ea7890e7d40b57d264d11b6a6ded9dd8c6454424)
+++ kernel/generic/src/main/uinit.c	(revision 07be3c47158a2dc8906119f0a7d97f81b3563f55)
@@ -70,5 +70,6 @@
 	uarg.uspace_stack = ((uspace_arg_t *) arg)->uspace_stack;
 	uarg.uspace_uarg = ((uspace_arg_t *) arg)->uspace_uarg;
-	uarg.uspace_thread_function = NULL; uarg.uspace_thread_arg = NULL;
+	uarg.uspace_thread_function = NULL;
+	uarg.uspace_thread_arg = NULL;
 
 	free((uspace_arg_t *) arg);
