diff --git a/people.html b/people.html
index 6f9a9faa137a717e5172046391cb8bdd65a39fff_cGVvcGxlLmh0bWw=..f42fa77b8576c40e1dd206af2ff7de387981b4e4_cGVvcGxlLmh0bWw= 100644
--- a/people.html
+++ b/people.html
@@ -48,7 +48,7 @@
 <div class="section" id="armin-rigo">
 <h1>Armin Rigo</h1>
 <img alt="image/people/arigo.png" src="image/people/arigo.png" />
-<p>Armin Rigo is a researcher at the Heinrich-Heine Universitat
+<p>Armin Rigo is a former researcher at the Heinrich-Heine Universitat
 Dusseldorf (Germany).  He studied Mathematics at the University
 of Lausanne (Switzerland), obtained his Ph.D. in Logic and Set
 Theory at the Free University of Brussels (Belgium) in 2002, and
diff --git a/source/people.txt b/source/people.txt
index 6f9a9faa137a717e5172046391cb8bdd65a39fff_c291cmNlL3Blb3BsZS50eHQ=..f42fa77b8576c40e1dd206af2ff7de387981b4e4_c291cmNlL3Blb3BsZS50eHQ= 100644
--- a/source/people.txt
+++ b/source/people.txt
@@ -8,7 +8,7 @@
 
 .. image:: image/people/arigo.png
 
-Armin Rigo is a researcher at the Heinrich-Heine Universitat
+Armin Rigo is a former researcher at the Heinrich-Heine Universitat
 Dusseldorf (Germany).  He studied Mathematics at the University
 of Lausanne (Switzerland), obtained his Ph.D. in Logic and Set
 Theory at the Free University of Brussels (Belgium) in 2002, and