Index: benchmark/schedext/cfa1.cfa
===================================================================
--- benchmark/schedext/cfa1.cfa	(revision 525b5ef9b1406d81dcf21e9cc5dbdaa16ab2df71)
+++ benchmark/schedext/cfa1.cfa	(revision cca568e32a0a35aff9eb80fa5e403e3d338d349e)
@@ -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 cca568e32a0a35aff9eb80fa5e403e3d338d349e)
@@ -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 cca568e32a0a35aff9eb80fa5e403e3d338d349e)
@@ -16,5 +16,5 @@
 	go = 1;
 	for ( i; times ) {
-		waitfor( call, a1, a2, a3, a4 );
+		waitfor( call : a1, a2, a3, a4 );
 	}
 	go = 0;