diff --git a/repos/base-sel4/src/core/pager.cc b/repos/base-sel4/src/core/pager.cc
index c9be14e971..982e658d90 100644
--- a/repos/base-sel4/src/core/pager.cc
+++ b/repos/base-sel4/src/core/pager.cc
@@ -219,6 +219,7 @@ void Pager_entrypoint::entry()
 				        " ip=", Hex(_pager.fault_ip()));
 				reply_pending = false;
 				obj->submit_exception_signal();
+				return;
 			}
 
 			/* send reply if page-fault handling succeeded */