Index: contrib/arch/kernel/kernel.adl
===================================================================
--- contrib/arch/kernel/kernel.adl	(revision 82cf692014a5807d40e33673b559289d4d7d3e69)
+++ contrib/arch/kernel/kernel.adl	(revision e6bc3a582186c3c564e203cf60108352cb4f2184)
@@ -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
 };