diff --git a/README.md b/README.md
index 98948f1110992b4346d47e604f0b6d43cdd861b8..43038999c3c9505b255fdfce4998a26e6f305e8a 100644
--- a/README.md
+++ b/README.md
@@ -17,7 +17,7 @@ Run the following command to build the full development:
 
     make
 
-The development can then be installed as the Coq user contribution `iris' by
+The development can then be installed as the Coq user contribution `iris` by
 running:
 
     make install