diff --git a/content/members.md b/content/members.md
index ab2bd7a..63e53b6 100644
--- a/content/members.md
+++ b/content/members.md
@@ -19,7 +19,7 @@ title: "Members"
 - [Kostia Chardonnet](https://kostiachardonnet.github.io/)<div class="desc-box">Computer science, quantum computation, cyclic proofs -- Centre Inria de l'Université de Lorraine (MOCQUA)</div>
 - [Sidney Congard](https://dwarfobserver.github.io/)<div class="desc-box">Semantics of programming languages -- Centre Inria de l'Université de Rennes (Gallinette)</div>
 - [Xavier Denis](https://xav.io/)<div class="desc-box">Deductive verification and specification of Rust programs</div>
-- [Pierre Benjamin Giraud]<div class="desc-box">Multi-dimensional (Logic ⊗ (Cubes & Rewriting systems) ⊗ Automata), automata for proofs, philoTechny of mathematics -- Centre Inria de l'Université de Rennes (Gallinette)</div>
+- Pierre Benjamin Giraud<div class="desc-box">Multi-dimensional (Logic ⊗ (Cubes & Rewriting systems) ⊗ Automata), automata for proofs, philoTechny of mathematics -- Centre Inria de l'Université de Rennes (Gallinette)</div>
 - [Charles Grellois](https://www.sheffield.ac.uk/cs/people/academic/charles-grellois)<div class="desc-box">
   Semantics, (linear) logic, automata theory, higher-order model-checking, mathematical modeling, probabilistic termination, algebra/categories to model real-world problems - University of Sheffield</div>
 - Jérémy Hervé 🍄<div class="desc-box">Mushrooms, operating systems design -- Independent</div>