diff --git a/hermit/arch/x86/kernel/tasks.c b/hermit/arch/x86/kernel/tasks.c
index e4c53d0c9..71a272fb2 100644
--- a/hermit/arch/x86/kernel/tasks.c
+++ b/hermit/arch/x86/kernel/tasks.c
@@ -540,7 +540,6 @@ int create_user_task_on_core(tid_t* id, const char* fname, char** argv, uint8_t
 		while ((*dest++ = *src++) != 0);
 	}
 
-
 	/* create new task */
 	return create_task(id, user_entry, load_args, prio, core_id);
 }