diff --git a/divine/vm/ctx-debug.tpp b/divine/vm/ctx-debug.tpp
index 59d2b068eb82690bba2dbbef64dbd0a651d5418c..14686eeba3386b433618d8e67a15ff1b3f7a3001 100644
--- a/divine/vm/ctx-debug.tpp
+++ b/divine/vm/ctx-debug.tpp
@@ -76,7 +76,7 @@ namespace divine::vm::ctx
             if ( !flagged )
                 this->fault( _VM_F_Leak, this->frame(), this->pc() );
             flagged = true;
-            trace( "LEAK: " + brick::string::fmt( ptr ) );
+            this->_fault += "object " + brick::string::fmt( ptr ) + " leaked";
         };
 
         if ( this->debug_mode() )