diff --git a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
index 7f4e4bf..e507c1a 100755
--- a/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
+++ b/examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
@@ -21,7 +21,7 @@
 \usepackage{xcolor}
 \usepackage{lstisadof-manual}
 \usepackage{xspace}
-\usepackage{dtk-logos}
+\usepackage{hvlogos}
 \usepackage{railsetup}
 \setcounter{secnumdepth}{2}
 \usepackage{index}