diff --git a/hermit/arch/x86/include/asm/tasks.h b/hermit/arch/x86/include/asm/tasks.h
index e834e69e6..db8c2d5d7 100644
--- a/hermit/arch/x86/include/asm/tasks.h
+++ b/hermit/arch/x86/include/asm/tasks.h
@@ -75,7 +75,7 @@ static inline int jump_to_user_code(size_t ep, size_t stack)
 
 	// x86_64 doesn't longer use segment registers
 	//asm volatile ("mov %0, %%ds; mov %0, %%es" :: "r"(ds));
-	asm volatile ("push %0; push %1; push $0x1002; push %2; push %3; iretq" :: "r"(ds), "r"(stack), "r"(cs), "r"(ep));
+	asm volatile ("push %0; push %1; push $0x1202; push %2; push %3; iretq" :: "r"(ds), "r"(stack), "r"(cs), "r"(ep));
 
 	return 0;
 }