diff --git a/README.md b/README.md
index 17232af..cd8a80f 100644
--- a/README.md
+++ b/README.md
@@ -2,7 +2,7 @@
 
 ## Teachers in 2017-2018
 
-   * Functional Programming: Under the Hood (12h30, [http://gallium.inria.fr/~fpottier](François Pottier)
-   * Metatheory of Typed Programming Languages (12h30, [http://gallium.inria.fr/~remy/](Didier Rémy, *head*)
-   * Advanced Aspects of Type Systems (12h30, [http://www.pps.jussieu.fr/~yrg/](Yann Régis Gianas)
-   * Dependently-typed Functional Programming (12h30, [https://pages.lip6.fr/Pierre-Evariste.Dagand/](Pierre-Evariste Dagand)
+   * Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier)
+   * Metatheory of Typed Programming Languages (12h30, [Didier Rémy, *head*](http://gallium.inria.fr/~remy/)
+   * Advanced Aspects of Type Systems (12h30, [Yann Régis Gianas](http://www.pps.jussieu.fr/~yrg/)
+   * Dependently-typed Functional Programming (12h30, [Pierre-Evariste Dagand](https://pages.lip6.fr/Pierre-Evariste.Dagand/)