--- a/LMCS-Paper/document/root.tex	Wed Sep 21 10:30:10 2011 +0200
+++ b/LMCS-Paper/document/root.tex	Wed Sep 21 10:30:21 2011 +0200
@@ -7,13 +7,13 @@
 %%\usepackage{amsthm}
 \usepackage{tikz}
 \usepackage{pgf}
-\usepackage{pdfsetup}
 \usepackage{ot1patch}
 \usepackage{times}
 \usepackage{boxedminipage}
 \usepackage{proof}
 \usepackage{setspace}
 \usepackage{afterpage}
+\usepackage{pdfsetup}
 
 \allowdisplaybreaks
 \urlstyle{rm}