--- a/LMCS-Paper/document/root.tex	Sun Sep 18 22:52:56 2011 +0200
+++ b/LMCS-Paper/document/root.tex	Mon Sep 19 21:52:59 2011 +0200
@@ -13,6 +13,7 @@
 \usepackage{boxedminipage}
 \usepackage{proof}
 \usepackage{setspace}
+\usepackage{afterpage}
 
 \allowdisplaybreaks
 \urlstyle{rm}