lib/texinputs/draft.tex

--- a/lib/texinputs/draft.tex	Sun Nov 02 16:05:43 2014 +0100
+++ b/lib/texinputs/draft.tex	Sun Nov 02 16:09:35 2014 +0100
@@ -10,7 +10,7 @@
 \usepackage{textcomp}
 
 \pagestyle{myheadings}
-\renewcommand{\isamarkupheader}[1]%
+\newcommand{\isamarkupfile}[1]%
 {{\def\isacharunderscore{\mbox{-}}%
 \section*{#1}\markright{FILE~``\isabellecontext''}}}