diff --git a/tex/iris.tex b/tex/iris.tex
index 735113c43236ad4134f27ce66a68fd6ef852fc30..fa7b2145be50e9a586d47f1bcbe58181a3feb30b 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.2 Documentation}
+\title{\bfseries The Iris 3.3 Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}