diff --git a/pages/coq-team.html b/pages/coq-team.html
index 31e94f6679..2d4629c7dc 100644
--- a/pages/coq-team.html
+++ b/pages/coq-team.html
@@ -224,7 +224,7 @@
     <div class="name"><a href="http://www-sop.inria.fr/members/Enrico.Tassi/">Enrico Tassi</a></div>
     <div class="nickname">gares</div>
     <div class="position">Inria Researcher in the Stamp Team, Sophia-Antipolis, France</div>
-    <div class="role">RM: 8.13</div>
+    <div class="role">RM: 8.13, 8.19</div>
     <div class="components">General Maintenance, STM, SSReflect, opam, VSCoq, Mathematical Components, Coq-Elpi, Hierarchy Builder</div>
   </div>
 </div>