diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 930f245c..efe022fc 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -14,8 +14,7 @@
 
 %% This is a placeholder for user-specific configuration and packages. 
 \usepackage{etex}
-\reserveinserts{28}
-
+\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
 \usepackage{dirtree}
 \renewcommand*\DTstylecomment{\ttfamily\itshape}
 \usepackage{textcomp}
diff --git a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
index 8ffd68fb..24a82fed 100644
--- a/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
+++ b/src/ontologies/CENELEC_50128/DOF-CENELEC_50128.sty
@@ -19,7 +19,7 @@
 
 \RequirePackage{DOF-COL}
 \usepackage{etex}
-\reserveinserts{28}
+\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
 \usepackage[many]{tcolorbox}
 \usepackage{marginnote}