Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision 82cf692014a5807d40e33673b559289d4d7d3e69)
+++ contrib/arch/kernel/kernel.adl	(revision 3a8faba762427c7f3a16c13530379da5835fb469)
@@ -38,8 +38,6 @@
 		unative_t sys_thread_get_id(thread_id_t *uspace_thread_id);
 	protocol:
-		(
-			?sys_thread_create +
-			?sys_thread_get_id
-		)* ;
+		?sys_thread_create +
+		?sys_thread_get_id +
 		?sys_thread_exit
 };