diff --git a/hermit/arch/x86/kernel/isrs.c b/hermit/arch/x86/kernel/isrs.c
index 3dd2e160f..bcfa26e9d 100644
--- a/hermit/arch/x86/kernel/isrs.c
+++ b/hermit/arch/x86/kernel/isrs.c
@@ -185,7 +185,7 @@ static const char *exception_messages[] = {
 	"No Coprocessor", "Double Fault", "Coprocessor Segment Overrun", "Bad TSS", 
 	"Segment Not Present", "Stack Fault", "General Protection Fault", "Page Fault", 
 	"Unknown Interrupt", "Coprocessor Fault", "Alignment Check", "Machine Check", 
-	"Reserved", "Reserved", "Reserved", "Reserved", "Reserved",
+	"SIMD Floating-Point", "Virtualization", "Reserved", "Reserved", "Reserved",
 	"Reserved", "Reserved", "Reserved", "Reserved", "Reserved", "Reserved",
 	"Reserved", "Reserved" };