diff --git a/docs/iris.tex b/docs/iris.tex
index 0afa6f0e9667d962e2ed5727b48c093791bbb8f5..05471a3abcce76c00a712e0e79047070cf16e263 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -37,7 +37,7 @@ For further information, visit the Iris project website at \url{http://plv.mpi-s
 \endgroup
 
 \clearpage\begingroup
-\section{Revision History}
+\section{Iris from the Ground Up}
 In \citetitle{iris-ground-up}~\cite{iris-ground-up}, we describe Iris~3.1 in a bottom-up way.
 That paper is hence much more suited as an introduction to the model of Iris than this reference, which mostly contains definitions, not explanations or examples.
 The following differences between Iris as described in \citetitle{iris-ground-up} and the latest version documented here are worth mentioning: