diff --git a/kernel/tests.c b/kernel/tests.c
index c89e7364..83ee1f1d 100644
--- a/kernel/tests.c
+++ b/kernel/tests.c
@@ -142,7 +142,7 @@ __inline int get_core_no(void)
   pid = 12*y + 2*x + z;
   /* Add 1 to the processor ID to avoid *.*.*.0 IP addresses */
   return pid;
-}s
+}
 
 
 void* server_task(void* e)