diff --git a/library/BSSAP_LE_Emulation.ttcn b/library/BSSAP_LE_Emulation.ttcn
index d95506c..fe85e58 100644
--- a/library/BSSAP_LE_Emulation.ttcn
+++ b/library/BSSAP_LE_Emulation.ttcn
@@ -315,13 +315,13 @@
 	T.start;
 	alt {
 	[] BSSAP_LE.receive(tr_BSSAP_LE_UNITDATA_ind(own, peer, tr_BSSMAP_LE_ResetAck)) {
-		log("Received RESET-ACK in response to RESET, we're ready to go!");
+		log("BSSMAP-LE: Received RESET-ACK in response to RESET, we're ready to go!");
 		g_reset_ack_ready := true;
 		}
 	[] as_reset_ack();
 	[] BSSAP_LE.receive { repeat };
 	[] T.timeout {
-		setverdict(fail, "Timeout waiting for RESET-ACK after sending RESET");
+		setverdict(fail, "BSSMAP-LE: Timeout waiting for RESET-ACK after sending RESET");
 		mtc.stop;
 		}
 	}
@@ -347,7 +347,7 @@
 private altstep as_reset_ack() runs on BSSAP_LE_Emulation_CT {
 	var BSSAP_LE_N_UNITDATA_ind ud_ind;
 	[] BSSAP_LE.receive(tr_BSSAP_LE_UNITDATA_ind(?, ?, tr_BSSMAP_LE_Reset)) -> value ud_ind {
-		log("Responding to inbound RESET with RESET-ACK");
+		log("BSSMAP-LE: Responding to inbound RESET with RESET-ACK");
 		BSSAP_LE.send(ts_BSSAP_LE_UNITDATA_req(ud_ind.callingAddress, ud_ind.calledAddress,
 			   ts_BSSMAP_LE_ResetAck));
 		g_reset_ack_ready := true;
@@ -569,7 +569,7 @@
 					}
 
 				[wait_seconds == 0] T_reset_ack.timeout {
-					setverdict(fail, "Timeout waiting for BSSMAP-LE RESET-ACK");
+					setverdict(fail, "BSSMAP-LE: Timeout waiting for RESET-ACK");
 					mtc.stop;
 					}
 				}