diff --git a/repos/os/src/drivers/platform/spec/x86/device_pd.h b/repos/os/src/drivers/platform/spec/x86/device_pd.h
index f3edcb4cd4..ab378dfe83 100644
--- a/repos/os/src/drivers/platform/spec/x86/device_pd.h
+++ b/repos/os/src/drivers/platform/spec/x86/device_pd.h
@@ -103,7 +103,7 @@ class Platform::Device_pd
 		          Genode::Ram_quota_guard &ram_guard,
 		          Genode::Cap_quota_guard &cap_guard)
 		:
-			_pd(env, label.string(), Genode::Pd_connection::Virt_space::UNCONSTRAIN),
+			_pd(env, "device PD", Genode::Pd_connection::Virt_space::UNCONSTRAIN),
 			_label(label),
 			_address_space(env, _pd, ram_guard, cap_guard)
 		{