diff --git a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
index 2ed1249b5..7cfe2ef9d 100644
--- a/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
+++ b/Source/UnitTests/ExecutionEngineTests/ExecutionEngineTest.cs
@@ -266,6 +266,7 @@ public async Task LoopInvariantDescriptions()
 fakeFilename(10,5): Related message: fake failure
 Execution trace:
     fakeFilename(5,3): entry
+    fakeFilename(9,3): block850
 
 Boogie program verifier finished with 0 verified, 1 error
 ".ReplaceLineEndings();