diff --git a/tex/iris.tex b/tex/iris.tex
index e6aa03d45c73955a07fe153355e03661fa7d6efd..0895f76fb14727e55f476efee5cc833807497b12 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
 \input{setup}
 
 
-\title{\bfseries The Iris 3.6-dev Documentation}
+\title{\bfseries The Iris 3.7-dev Documentation}
 \author{\url{http://plv.mpi-sws.org/iris/}}