diff --git a/src/backend/filedescriptorregistry.c b/src/backend/filedescriptorregistry.c
index 557be2da1..5dc186a3e 100644
--- a/src/backend/filedescriptorregistry.c
+++ b/src/backend/filedescriptorregistry.c
@@ -102,7 +102,7 @@ lumiera_filedescriptorregistry_destroy (void)
   lumiera_mutex_destroy (&filedescriptorregistry_mutex, &NOBUG_FLAG (mutex_dbg), NOBUG_CONTEXT);
 
   if (filedescriptorregistry)
-    psplay_destroy (filedescriptorregistry);
+    psplay_delete (filedescriptorregistry);
 
   filedescriptorregistry = NULL;
 }