diff --git a/repos/base-nova/src/core/irq_session_component.cc b/repos/base-nova/src/core/irq_session_component.cc
index 3e1615e69..908803c45 100644
--- a/repos/base-nova/src/core/irq_session_component.cc
+++ b/repos/base-nova/src/core/irq_session_component.cc
@@ -215,7 +215,8 @@ Irq_session_component::Irq_session_component(Range_allocator *irq_alloc,
 
 Irq_session_component::~Irq_session_component()
 {
-	if (_proxy) return;
+	if (!_proxy)
+		return;
 
 	if (_irq_sigh.valid())
 		_proxy->remove_sharer(&_irq_sigh);