Index: doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa
===================================================================
--- doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa	(revision f85de474d7bae82407a8ea5f1551da282d77d9bd)
+++ doc/theses/mike_brooks_MMath/programs/bkgd-cfa-arrayinteract.cfa	(revision c8bdbaf0561e21a91cb5d18fe0dc01923fbe5868)
@@ -3,5 +3,5 @@
 
 struct tm { int x; };
-forall (T*) T* alloc();
+forall( T * ) T * alloc();
 
 int main () {
Index: doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa
===================================================================
--- doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa	(revision f85de474d7bae82407a8ea5f1551da282d77d9bd)
+++ doc/theses/mike_brooks_MMath/programs/hello-accordion.cfa	(revision c8bdbaf0561e21a91cb5d18fe0dc01923fbe5868)
@@ -31,9 +31,9 @@
 int getPref( @School( C, S ) & school@, int is, int pref ) {
 	for ( ic; C ) {
-		int curPref = @school.preferences@[ic][is];   $\C{// offset calculation implicit}$
-		if ( curPref == pref ) return ic;
+		if ( pref == @school.preferences@[ic][is]; ) return ic; $\C{// offset calculation implicit}$
 	}
 	assert( false );
 }
+
 
 
@@ -91,5 +91,5 @@
 		sout | school.student_ids[is] | ": " | nonl;
 		for ( pref; 1 ~= nc ) {
-			int ic = getPref(school, is, pref);
+			int ic = getPref( school, is, pref );
 			sout | school.course_codes[ ic ] | nonl;
 		}