Markdown is not LaTeX :).

cb548cad · Robbert Krebbers · 778d8930 · cb548cad
Commit cb548cad authored 9 years ago by Robbert Krebbers
--- 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