diff --git a/wta/benchmarks.org b/wta/benchmarks.org
index f4ed834549aec27de9ee6322261d39bbbc8a3376..3428adaa23a749ab799789cc74d24a011946a587 100644
--- a/wta/benchmarks.org
+++ b/wta/benchmarks.org
@@ -1,4 +1,5 @@
 #+TITLE: Benchmarks for Weighted Tree Automata
+#+PROPERTY: header-args  :exports both :eval never-export
 
 * What fits in 16GB RAM