diff --git a/pcu/GPRS_Components.ttcn b/pcu/GPRS_Components.ttcn
index 0f16d02..0f805ca 100644
--- a/pcu/GPRS_Components.ttcn
+++ b/pcu/GPRS_Components.ttcn
@@ -533,12 +533,12 @@
 				  arfcn := f_trxnr2arfcn(valueof(nr.trx_nr)),
 				  block_nr := nr.blk_nr));
 	alt {
-		[] as_ms_rx_pkt_ass_pacch(ms, poll_fn, t_pkt_ass, nr, dl_block);
-		[ignore_dummy] as_ms_rx_ignore_dummy(ms, nr);
-		/* TODO: fail */
-		[] BTS.receive {
-			setverdict(fail, "Unexpected BTS message");
-			f_shutdown(__BFILE__, __LINE__);
+	[] as_ms_rx_pkt_ass_pacch(ms, poll_fn, t_pkt_ass, nr, dl_block);
+	[ignore_dummy] as_ms_rx_ignore_dummy(ms, nr);
+	/* TODO: fail */
+	[] BTS.receive {
+		setverdict(fail, "Unexpected BTS message");
+		f_shutdown(__BFILE__, __LINE__);
 		}
 	}
 	return dl_block;