diff --git a/ggsn_tests/GGSN_Tests.ttcn b/ggsn_tests/GGSN_Tests.ttcn
index 32d4a1d..6a61177 100644
--- a/ggsn_tests/GGSN_Tests.ttcn
+++ b/ggsn_tests/GGSN_Tests.ttcn
@@ -1171,8 +1171,7 @@
 				}
 			}
 			[] GTPU.receive(tr_GTPU_GPDU(g_peer_u, ?)) -> value ud {
-				Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
-							"Received wrong local TEID");
+				setverdict(fail, "Received wrong local TEID");
 			}
 			[] GTPU.receive { setverdict(fail); }
 			[] T_default.timeout { setverdict(fail); }