diff --git a/base-nova/include/nova/syscall-generic.h b/base-nova/include/nova/syscall-generic.h
index f293429ba..e82a533c9 100644
--- a/base-nova/include/nova/syscall-generic.h
+++ b/base-nova/include/nova/syscall-generic.h
@@ -67,18 +67,18 @@ namespace Nova {
 	/**
 	 * NOVA status codes returned by system-calls
 	 */
-        enum Status
-        {
-            NOVA_OK             = 0,
-            NOVA_IPC_TIMEOUT    = 1,
-            NOVA_IPC_ABORT      = 2,
-            NOVA_INV_HYPERCALL  = 3,
-            NOVA_INV_SELECTOR   = 4,
-            NOVA_INV_PARAMETER  = 5,
-            NOVA_INV_FEATURE    = 6,
-            NOVA_INV_CPU_NUMBER = 7,
-            NOVA_INVD_DEVICE_ID = 8,
-        };
+	enum Status
+	{
+		NOVA_OK             = 0,
+		NOVA_IPC_TIMEOUT    = 1,
+		NOVA_IPC_ABORT      = 2,
+		NOVA_INV_HYPERCALL  = 3,
+		NOVA_INV_SELECTOR   = 4,
+		NOVA_INV_PARAMETER  = 5,
+		NOVA_INV_FEATURE    = 6,
+		NOVA_INV_CPU_NUMBER = 7,
+		NOVA_INVD_DEVICE_ID = 8,
+	};
 
 	/**
 	 * Hypervisor information page
diff --git a/base-nova/include/nova/util.h b/base-nova/include/nova/util.h
index 7483af3c9..04fc24c5f 100644
--- a/base-nova/include/nova/util.h
+++ b/base-nova/include/nova/util.h
@@ -28,6 +28,7 @@ inline void nova_die(const char * text = 0)
 		asm volatile ("ud2a" : : "a"(text));
 }
 
+
 inline void request_event_portal(Genode::Native_capability cap,
                                  Genode::addr_t exc_base, Genode::addr_t event)
 {
@@ -51,5 +52,4 @@ inline void request_event_portal(Genode::Native_capability cap,
 	utcb->crd_rcv = orig_crd;
 }
 
-
 #endif /* _NOVA__INCLUDE__UTIL_H_ */