diff --git a/examples/scholarly/document/preamble.tex b/examples/scholarly/document/preamble.tex
index ba9bb0eb..69ab7ed1 100644
--- a/examples/scholarly/document/preamble.tex
+++ b/examples/scholarly/document/preamble.tex
@@ -38,10 +38,6 @@
 \newcommand{\isadof}{Isabelle/DOF\xspace}
 
 
-\newkeycommand\isamarkuptextbis[label=,type=,main_author=,fixme_list=][1]{%
-  \isamarkupfalse\isamarkupsection{#1}\label{\commandkey{label}}\isamarkuptrue%
-}
-
 %%% Local Variables:
 %%% mode: latex
 %%% TeX-master: "root.tex"