typo

index.html

@@ -71,8 +71,7 @@ <h2>Learning Iris</h2>
             <li>The <a href="tutorial-material.html">Iris lecture notes</a> provide a tutorial style introduction to
               Iris,
               including a number of exercises (but most of it not in Coq).</li>
-            <li>The <a href="https://github.com/logsem/iris-tutorial">Iris Tutorial in Coq</a> is a software-foundations style
-              introduction to Iris, in Coq. It starts from scratch and does not assume knowledge of the Iris Lecture Notes,
+            <li>The <a href="https://github.com/logsem/iris-tutorial">Iris tutorial in Coq</a> is an Software-Foundations-style introduction to Iris, in Coq. It starts from scratch and does not assume knowledge of the Iris Lecture Notes,
               but many of the examples are drawn from the Iris Lecture Notes.
             <li>The second half of Derek Dreyer's <a href="https://plv.mpi-sws.org/semantics-course/">Semantics lecture
                 notes</a> gives an introduction to Iris, including exercises and a Coq development.</li>