diff --git a/mps/code/arena.c b/mps/code/arena.c
index 24d1214b97d..6a635788066 100644
--- a/mps/code/arena.c
+++ b/mps/code/arena.c
@@ -275,6 +275,10 @@ void ArenaDestroy(Arena arena)
   /* Empty the reservoir - see <code/reserv.c#reservoir.finish> */
   ReservoirSetLimit(ArenaReservoir(arena), 0);
 
+  DIAG_FIRSTF(( "ArenaDestroy", NULL ));
+  DIAG( ControlDescribe(arena, DIAG_STREAM); );
+  DIAG_END("ArenaDestroy");
+
   arena->poolReady = FALSE;
   ControlFinish(arena);