diff --git a/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/ROOT b/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/ROOT
index e3b9b3ce..c561bf85 100644
--- a/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/ROOT
+++ b/Isabelle_DOF-Example-Extra/technical_report/TR_my_commented_isabelle/ROOT
@@ -1,5 +1,5 @@
 session "TR_MyCommentedIsabelle" = "Isabelle_DOF" +
-  options [document = pdf, document_output = "output", document_build = dof, quick_and_dirty = true]
+  options [document = pdf, document_output = "output", document_build = dof]
   theories
     "TR_MyCommentedIsabelle"
   document_files