diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index efe022f..da259c0 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -14,7 +14,7 @@
 
 %% This is a placeholder for user-specific configuration and packages. 
 \usepackage{etex}
-\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
+\ifdef{\reserveinserts}{\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 24a82fe..80b5831 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}
-\ifdef{\reserveinserts{0}}{\reserveinserts{28}}{} 
+\ifdef{\reserveinserts}{\reserveinserts{28}}{} 
 \usepackage[many]{tcolorbox}
 \usepackage{marginnote}