diff --git a/docs/iris.tex b/docs/iris.tex
index 6a9021e2dbb28dbe1cb18134c0f7e4108345f957..bc3ff6ac6ae02f6e983ac4c8e9f7ab2132fb4213 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -18,14 +18,7 @@
 \begin{document}
 
 \title{\bfseries The Iris Documentation}
-
-%FIXME any better way to do this?
-\author{%
- Ralf Jung \\ MPI-SWS \\ jung@mpi-sws.org \and
- Robbert Krebbers \\ Aarhus University \\ robbert@cs.au.dk \and
- Lars Birkedal \\ Aarhus University \\ birkedal@cs.au.dk \and
- Derek Dreyer \\ MPI-SWS \\ dreyer@mpi-sws.org}
-
+\author{The Iris Team}
 \maketitle
 
 \thispagestyle{empty}