diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 3428adaa23a749ab799789cc74d24a011946a587..97f87c7efb68f5abe969c1e22cb816897ce44f97 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -243,7 +243,7 @@ python bench.py run ../../copar/bin/copar --monoid powerset --symbols 0,0,0,0,0,
: Trying 1451...
: First bad state count: 1451
-*** File Size
+**** File Size
#+BEGIN_SRC sh :results output
ls -sh bench/wta_Z,max_0,8_0.7_1450*
@@ -256,7 +256,7 @@ ls -sh bench/wta_Z,max_0,8_0.7_1450*
: 182M bench/wta_Z,max_0,8_0.7_1450_3.coalgebra
: 182M bench/wta_Z,max_0,8_0.7_1450_4.coalgebra
-*** Automaton Size
+**** Automaton Size
#+BEGIN_SRC sh
python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,8 --zero-frequency 0.7 --states 1450 --indiv --header
@@ -270,7 +270,6 @@ python bench.py run ../../copar/bin/copar --monoid 'Z,max' --symbols 0,8 --zero-
| 3 | 5046916 | 10090932 | 1458 | 13050 | 1450 | 9455805 | 125.95962352 | 42.526542018 | 80.176310943 | 26.550162046 | 40.227319833 |
| 4 | 5049229 | 10095558 | 1458 | 13050 | 1450 | 9460347 | 126.718920083 | 42.559013501 | 80.863052096 | 26.756405734 | 40.145229524 |
-
*** GHC 8.4.4 with symbols 1,0,4 and zero-freq 0.7
#+BEGIN_SRC sh
@@ -496,7 +495,7 @@ python bench.py run ../../copar/bin/copar --monoid 'Word,or' --symbols 1,0,4 --z
| 3 | 3890675 | 11671481 | 153 | 87765 | 148 | 6807190 | 118.213230214 | 44.026034118 | 69.934017821 | 20.807216331 | 36.920223682 |
| 4 | 3889335 | 11667465 | 153 | 87765 | 148 | 6804884 | 118.020940476 | 44.097067581 | 69.813347698 | 20.923033139 | 36.907214948 |
-*** GHC 8.4.4 with symbols 1,0,4 and zero-freq 0.7
+*** GHC 8.4.4 with symbols 4,3,2 and zero-freq 0.7
#+BEGIN_SRC sh
./bench.py bisect ../../copar/bin/{random-wta,copar} --monoid 'Word,or' --symbols 4,3,2 --zero-frequency 0.7