The definition of a short header title as described in the vignette doesn't seem to work any more: \renewcommand{\thetitle}{Short header title} Is there a new way of defining it? Best, Bernd [[alternative HTML version deleted]]