diff --git a/repos/os/src/drivers/platform/spec/x86/pci_device_component.h b/repos/os/src/drivers/platform/spec/x86/pci_device_component.h
index 71c1e29fc0..f2386b5ac6 100644
--- a/repos/os/src/drivers/platform/spec/x86/pci_device_component.h
+++ b/repos/os/src/drivers/platform/spec/x86/pci_device_component.h
@@ -242,7 +242,7 @@ class Platform::Device_component : public  Genode::Rpc_object<Platform::Device>,
 		{
 			if (_irq_session) {
 				_env.ep().rpc_ep().dissolve(_irq_session);
-				_irq_session->~Irq_session();
+				_irq_session->~Irq_session_component();
 			}
 
 			for (unsigned i = 0; i < Device::NUM_RESOURCES; i++) {