diff --git a/bsc/BSC_Tests.ttcn b/bsc/BSC_Tests.ttcn
index 1fc42ba..5e4ebbc 100644
--- a/bsc/BSC_Tests.ttcn
+++ b/bsc/BSC_Tests.ttcn
@@ -941,13 +941,15 @@
 		}
 	[] BSSAP.receive { repeat; }
 	[] T.timeout {
-			log("BSSMAP: Timeout waiting for RESET-ACK after sending RESET");
 			/* If we received a RESET after ours was sent, it
 			   may be a race condition where the other peer beacame
 			   available after we sent it, but we are in a desired
 			   state anyway, so go forward. */
 			if (not reset_received) {
-				setverdict(fail);
+				Misc_Helpers.f_shutdown(__BFILE__, __LINE__, fail,
+							"BSSMAP: Timeout waiting for RESET-ACK after sending RESET");
+			} else {
+				log("BSSMAP: Timeout waiting for RESET-ACK after sending RESET");
 			}
 		}
 	}