diff --git a/Isabelle_DOF/latex/styles/DOF-core.sty b/Isabelle_DOF/latex/styles/DOF-core.sty
index e86ba31..65d04f0 100644
--- a/Isabelle_DOF/latex/styles/DOF-core.sty
+++ b/Isabelle_DOF/latex/styles/DOF-core.sty
@@ -65,7 +65,7 @@
   \ifcsname isaDof.\commandkey{type}\endcsname%
       \csname isaDof.\commandkey{type}\endcsname%
               [label=\commandkey{label},\commandkey{args}]{#1}%
-  \else\relax\fi%
+  \else%
   \ifcsname isaDof.\commandkey{env}.\commandkey{type}\endcsname%
       \csname isaDof.\commandkey{env}.\commandkey{type}\endcsname%
               [label=\commandkey{label},\commandkey{args}]{#1}%
@@ -81,6 +81,7 @@
         definition for "\commandkey{env}" available either.}%
       \fi%
   \fi%
+\fi%
 }
 % end: generic dispatcher
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
@@ -170,4 +171,4 @@
 \newcommand{\isactrltermUNDERSCORE}{\isakeywordcontrol{term{\isacharunderscore}}}
 \newcommand{\isactrlvalueUNDERSCORE}{\isakeywordcontrol{value{\isacharunderscore}}}
 \newcommand{\isasymdoublequote}{\texttt{\upshape"}}
-\newcommand{\isasymquote}{\texttt{\upshape'}}
\ No newline at end of file
+\newcommand{\isasymquote}{\texttt{\upshape'}}