diff --git a/maestro/pool_manager.c b/maestro/pool_manager.c
index ed1ba7267d5c04fb555f086d9b533998d3dec7be..fad1bcd61da8d9b6a546f8f828b9881a32d0fa9a 100644
--- a/maestro/pool_manager.c
+++ b/maestro/pool_manager.c
@@ -1936,7 +1936,7 @@ mstro_pm__handle_leave_phase3(mstro_event event,
   DEBUG("LEAVE phase 3/3, event %p\n", event);
   mstro_pm__msg_free(cont->msg);
   mstro_stats_add_counter(MSTRO_STATS_CAT_PROTOCOL, MSTRO_STATS_L_PM_NUM_LEAVE, 1);
-  return MSTRO_UNIMPL;
+  return MSTRO_OK;
 }
 
 static inline