diff --git a/tex/iris.tex b/tex/iris.tex
index fa7b2145be50e9a586d47f1bcbe58181a3feb30b..3913a54a9316784f31be17694693a4a1abfed3bf 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.5-dev Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}
 
 
diff --git a/tex/upload b/tex/upload
index 1d0799ebe8567dc70f681ecd56aa1fc1896f34c5..e8d68574c151be74fa748046c99f4b26e91bc4df 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.5.pdf