diff --git a/stp/STP_Tests_IPA.ttcn b/stp/STP_Tests_IPA.ttcn
index 48652b8..c67bc4a 100644
--- a/stp/STP_Tests_IPA.ttcn
+++ b/stp/STP_Tests_IPA.ttcn
@@ -234,8 +234,8 @@
 		var octetstring data := f_rnd_octstring(f_rnd_ipa_len());
 		f_IPA_send(0, data);
 		alt {
-		[] as_count_rx(1, data, num_rx[1])
-		[] as_count_rx(2, data, num_rx[2])
+		[] as_count_rx(1, data, num_rx[1]);
+		[] as_count_rx(2, data, num_rx[2]);
 		}
 	}
 	/* FIXME: check for extraneous messages? */