diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index 0f42defa75c28004e36fb3300fc26af4c2d439f0..68f0dc660bac1b4662f7aa53fd1e2130e1fd900d 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -963,8 +963,8 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 | i |  states |    edges | initial-partition-size | final-partition-size | explicit-final-partition-size | size1-skipped | overall-duration | parse-duration | algorithm-duration | initialize-duration | refine-duration |
 | 0 | 2518125 | 14812500 |                      6 |              2518125 |                         49375 |      13940781 |    164.986249384 |   38.769441334 |      119.843574846 |        24.415685672 |    90.703821725 |
 
-*** Z,max
-**** 4xX mit out-degree 50 und different-values 50
+** Z,max
+*** 4xX mit out-degree 50 und different-values 50
 
 #+BEGIN_SRC shell
 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,4 --out-degree 50 --good 100000 --bad 130000 --different-values 50
@@ -987,7 +987,9 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 114888...
 : First bad state count: 114889
 
-**** 4xX^2 mit out-degree 50 und different-values 50
+**** Automaton Size
+
+*** 4xX^2 mit out-degree 50 und different-values 50
 
 #+BEGIN_SRC shell
 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,4 --out-degree 50 --good 50000 --bad 100000 --different-values 50
@@ -1010,7 +1012,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 95288...
 : First bad state count: 95288
 
-**** 4xX^3 mit out-degree und different-values 50
+*** 4xX^3 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,4 --out-degree 50 --good 58471 --bad 73000 --different-values 50
@@ -1032,7 +1034,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 70661...
 : First bad state count: 70661
 
-**** 4xX^4 mit out-degree und different-values 50
+*** 4xX^4 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,4 --out-degree 50 --good 55181 --bad 73000 --different-values 50
@@ -1054,7 +1056,7 @@ ls -sh bench/wta_powerset_0,4_*__14281*
 : Trying 62665...
 : First bad state count: 62666
 
-**** 4xX^5 mit out-degree und different-values 50
+*** 4xX^5 mit out-degree und different-values 50
 
 #+BEGIN_SRC shell
 ./bench.py bisect ../../copar/bin/random-wta ../../copar/bin/copar --monoid Z,max --symbols 0,0,0,0,0,4 --out-degree 50 --good 31000 --bad 55000 --different-values 50