diff --git a/tex/iris.tex b/tex/iris.tex
index fa7b2145be50e9a586d47f1bcbe58181a3feb30b..319a8ef2ce25a1a7ed1abf6970e5b7a1abc0751a 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.3 Documentation}
+\title{\bfseries The Iris 3.4 Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}
 
 
diff --git a/tex/upload b/tex/upload
index 1d0799ebe8567dc70f681ecd56aa1fc1896f34c5..7564da1c07aa88a685f3091cb2314e9b7cd92c5b 100755
--- a/tex/upload
+++ b/tex/upload
@@ -3,5 +3,5 @@ set -e
 cd "$(dirname "$(readlink -e "$0")")"
 
 rub iris
-scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.3.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.4.pdf