diff --git a/hermit/include/hermit/stddef.h b/hermit/include/hermit/stddef.h
index 9edecfbb0..ee212f058 100644
--- a/hermit/include/hermit/stddef.h
+++ b/hermit/include/hermit/stddef.h
@@ -47,9 +47,9 @@ extern "C" {
 /// represents a task identifier
 typedef unsigned int tid_t;
 
-#define DECLARE_PER_CORE(type, name) extern type name __attribute__ ((section (".percore")));
-#define DEFINE_PER_CORE(type, name, def_value) type name __attribute__ ((section (".percore"))) = def_value;
-#define DEFINE_PER_CORE_STATIC(type, name, def_value) static type name __attribute__ ((section (".percore"))) = def_value;
+#define DECLARE_PER_CORE(type, name) extern type name __attribute__ ((section (".percore")))
+#define DEFINE_PER_CORE(type, name, def_value) type name __attribute__ ((section (".percore"))) = def_value
+#define DEFINE_PER_CORE_STATIC(type, name, def_value) static type name __attribute__ ((section (".percore"))) = def_value
 
 /* needed to find the task, which is currently running on this core */
 struct task;
diff --git a/hermit/include/hermit/tasks.h b/hermit/include/hermit/tasks.h
index f11e2c4b3..32bd213b0 100644
--- a/hermit/include/hermit/tasks.h
+++ b/hermit/include/hermit/tasks.h
@@ -230,7 +230,7 @@ void check_ticks(void);
 
 extern volatile uint32_t go_down;
 
-/** @brief shutdown the hole system
+/** @brief shutdown the whole system
  */
 void shutdown_system(void);
 
diff --git a/hermit/kernel/main.c b/hermit/kernel/main.c
index e9fbaeb72..bd2c35599 100644
--- a/hermit/kernel/main.c
+++ b/hermit/kernel/main.c
@@ -212,7 +212,7 @@ int network_shutdown(void)
 #if MAX_CORES > 1
 int smp_main(void)
 {
-	int32_t cpu = atomic_int32_inc(&cpu_online);
+	atomic_int32_inc(&cpu_online);
 
 #ifdef DYNAMIC_TICKS
 	enable_dynticks();
diff --git a/hermit/kernel/tasks.c b/hermit/kernel/tasks.c
index fe45ba017..c58c6aab8 100644
--- a/hermit/kernel/tasks.c
+++ b/hermit/kernel/tasks.c
@@ -37,6 +37,7 @@
 #include <hermit/syscall.h>
 #include <hermit/memory.h>
 #include <asm/tss.h>
+#include <asm/processor.h>
 
 /*
  * Note that linker symbols are not variables, they have no memory allocated for