Index: kernel/generic/src/proc/scheduler.c
===================================================================
--- kernel/generic/src/proc/scheduler.c	(revision 7217199c20aa630f3b773dabe635f55864ab2a8b)
+++ kernel/generic/src/proc/scheduler.c	(revision 42ec9198d3475719dcc6743cb7e015e9ecc84a50)
@@ -452,5 +452,5 @@
 			 * Entering state is unexpected.
 			 */
-			panic("tid%" PRIu64 ": unexpected state %s\n",
+			panic("tid%" PRIu64 ": unexpected state %s.",
 			    THREAD->tid, thread_states[THREAD->state]);
 			break;
Index: kernel/generic/src/proc/tasklet.c
===================================================================
--- kernel/generic/src/proc/tasklet.c	(revision 7217199c20aa630f3b773dabe635f55864ab2a8b)
+++ kernel/generic/src/proc/tasklet.c	(revision 42ec9198d3475719dcc6743cb7e015e9ecc84a50)
@@ -52,5 +52,5 @@
 	tasklet_list = malloc(sizeof(tasklet_descriptor_t *) * config.cpu_count, 0);
 	if (!tasklet_list)
-		panic("Error initializing tasklets");
+		panic("Error initializing tasklets.");
 	
 	for (i = 0; i < config.cpu_count; i++)