diff --git a/pages/coq-team.html b/pages/coq-team.html
index 2d4629c7dc..2660ddfac3 100644
--- a/pages/coq-team.html
+++ b/pages/coq-team.html
@@ -199,7 +199,7 @@
     <div class="picture"><img src="/files/team/silene.jpg" alt="Guillaume Melquiond" width="150"/></div>
     <div class="name"><a href="https://www.lri.fr/~melquion/">Guillaume Melquiond</a></div><div class="nickname">silene</div>
     <div class="position">Inria Researcher in the Toccata Team, Saclay, France</div>
-    <div class="role">RM: 8.9, 8.14</div>
+    <div class="role">RM: 8.9, 8.14, 8.20</div>
     <div class="components">General Maintenance, <code>vm_compute</code>, opam, Reals, Coquelicot, Flocq</div>
   </div>
   <div class="person">
@@ -217,6 +217,7 @@
     <div class="name"><a href="https://www.onera.fr/fr/staff/pierre-roux">Pierre Roux</a></div>
     <div class="nickname">proux01</div>
     <div class="position">Researcher at Onera, Toulouse, France</div>
+    <div class="role">RM: 8.20</div>
     <div class="components">Primitive Types, Notations</div>
   </div>
   <div class="person">