diff --git a/repos/base-tukija/src/core/platform_pd.cc b/repos/base-tukija/src/core/platform_pd.cc
index 421017d55b..3fc32e15df 100644
--- a/repos/base-tukija/src/core/platform_pd.cc
+++ b/repos/base-tukija/src/core/platform_pd.cc
@@ -52,15 +52,16 @@ Platform_pd::Platform_pd(Allocator &, char const *label, signed, bool)
 
 Platform_pd::~Platform_pd()
 {
+	log("Destroying PD for <", _label, ">");
 	if (_pd_sel == Native_thread::INVALID_INDEX)
 		return;
 
 	/* Revoke and free cap, pd is gone */
+	Tukija::pd_destroy(_pd_sel);
 	Tukija::revoke(Tukija::Obj_crd(_pd_sel, 0));
 	cap_map().remove(_pd_sel, 0, false);
 }
 
-
 void Platform_pd::flush(addr_t remote_virt, size_t size, Core_local_addr)
 {
 	Tukija::Rights const revoke_rwx(true, true, true);