Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision 5c9b20cdbd8f11c2e3b1817c4e65a16c5f1e9a65)
@@ -8,5 +8,5 @@
 
 void main(__attribute__((unused)) Fibre & this) {
-	while(!done) {
+	while ( ! done ) {
 		yield();
 	}
@@ -17,5 +17,5 @@
 	Fibre f1;
   	BENCH(
-		for ( i; times ) {
+		for ( times ) {
 			yield();
 		},