repro/repro_fig7b

@@ -20,6 +20,6 @@ run() {
     echo -n "# "; date
 }
 
-for nthreads in $* do
+for nthreads in $*; do
     run $nthreads | tee -a `hostname`.core${nthreads}.out
 done