diff --git a/src/ontologies/scholarly_paper/scholarly_paper.thy b/src/ontologies/scholarly_paper/scholarly_paper.thy
index 7c46d17..e714c72 100644
--- a/src/ontologies/scholarly_paper/scholarly_paper.thy
+++ b/src/ontologies/scholarly_paper/scholarly_paper.thy
@@ -185,9 +185,5 @@ fun check_group a = map (check_group_elem (check_level_hd (hd a))) (tl a) ;
 *)
 \<close>
 
-
-gen_sty_template
-
-
 end
 
diff --git a/src/ontologies/small_math/small_math.thy b/src/ontologies/small_math/small_math.thy
index b2759d8..e2079bc 100644
--- a/src/ontologies/small_math/small_math.thy
+++ b/src/ontologies/small_math/small_math.thy
@@ -156,10 +156,5 @@ setup\<open> let val cidS = ["small_math.introduction","small_math.technical", "
                                        true)
        in  DOF_core.update_class_invariant "small_math.article" body end\<close>
 
-
-
-gen_sty_template
-
-
 end