Index: benchmark/schedext/cfa1.cfa
===================================================================
--- benchmark/schedext/cfa1.cfa	(revision 525b5ef9b1406d81dcf21e9cc5dbdaa16ab2df71)
+++ benchmark/schedext/cfa1.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -16,5 +16,5 @@
 	go = 1;
 	for ( i; times ) {
-		waitfor(call, a1);
+		waitfor(call : a1);
 	}
 	go = 0;
Index: benchmark/schedext/cfa2.cfa
===================================================================
--- benchmark/schedext/cfa2.cfa	(revision 525b5ef9b1406d81dcf21e9cc5dbdaa16ab2df71)
+++ benchmark/schedext/cfa2.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -16,5 +16,5 @@
 	go = 1;
 	for ( i; times ) {
-		waitfor(call, a1, a2);
+		waitfor(call : a1, a2);
 	}
 	go = 0;
Index: benchmark/schedext/cfa4.cfa
===================================================================
--- benchmark/schedext/cfa4.cfa	(revision 525b5ef9b1406d81dcf21e9cc5dbdaa16ab2df71)
+++ benchmark/schedext/cfa4.cfa	(revision 96f5b300226de823658074ed4084ad9d67a2c649)
@@ -16,5 +16,5 @@
 	go = 1;
 	for ( i; times ) {
-		waitfor( call, a1, a2, a3, a4 );
+		waitfor( call : a1, a2, a3, a4 );
 	}
 	go = 0;