diff --git a/docs/iris.tex b/docs/iris.tex
index 69e331bc51bef6ff27149ce0a2c27c30e9ea0278..bd5792b41d29d3b9f9cc9b3ddfec1f2bcd7e074f 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -16,7 +16,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.1 Documentation}
+\title{\bfseries The Iris 3.2 Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}
 
 
diff --git a/docs/upload b/docs/upload
index 37ef364af2bea6626ffa1120a0b96f3054da9cc4..6f6be2ed732f43d2cf29666a0cd38c85eb41853d 100755
--- a/docs/upload
+++ b/docs/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.1.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.2.pdf