diff --git a/repos/base-hw/src/core/pager.cc b/repos/base-hw/src/core/pager.cc
index 1a8ab38aa3..41a91a910b 100644
--- a/repos/base-hw/src/core/pager.cc
+++ b/repos/base-hw/src/core/pager.cc
@@ -69,7 +69,7 @@ void Pager_object::unresolved_page_fault_occurred()
 	Platform_thread * const pt = (Platform_thread *)badge();
 	if (pt && pt->pd())
 		warning("page fault, pager_object: pd='", pt->pd()->label(),
-		        "' thread='", pt->label(), " ", pt->kernel_object()->fault());
+		        "' thread='", pt->label(), "' ", pt->kernel_object()->fault());
 }
 
 void Pager_object::print(Output &out) const
diff --git a/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc b/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc
index 87de886c5e..b2eb87e0cb 100644
--- a/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc
+++ b/repos/base-hw/src/core/spec/x86_64/kernel/thread_exception.cc
@@ -46,6 +46,7 @@ void Thread::exception(Cpu & cpu)
 		return;
 	}
 	Genode::warning(*this, ": triggered unknown exception ", regs->trapno,
-	                " with error code ", regs->errcode, " at ip=", (void*)regs->ip);
+	                " with error code ", regs->errcode, " at ip=", (void*)regs->ip, " sp=", (void*)regs->sp);
+
 	_die();
 }