diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 9eecbee..8638c69 100644
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -18,14 +18,11 @@
 
 \usepackage{dirtree}
 \renewcommand*\DTstylecomment{\ttfamily\itshape}
-\usepackage{upquote}%
 \usepackage{textcomp}
 \usepackage{xcolor}
 \usepackage{lstisadof-manual}
 \usepackage{xspace}
 \usepackage{dtk-logos}
-\usepackage[caption]{subfig}
-\usepackage[size=footnotesize]{caption}
 \usepackage{railsetup}
 \setcounter{secnumdepth}{2}
 \usepackage{index}