Index: benchmark/ctxswitch/cfa_thrd2.cfa
===================================================================
--- benchmark/ctxswitch/cfa_thrd2.cfa	(revision b4107c815918e9d1300f3381d29c2a863abf7de8)
+++ benchmark/ctxswitch/cfa_thrd2.cfa	(revision d2de1be93f6494379e15cb2f5ae0c8e23b7783ce)
@@ -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();
 		},