diff --git a/src/index.html b/src/index.html
index 1ffe60c..025851b 100644
--- a/src/index.html
+++ b/src/index.html
@@ -33,7 +33,7 @@ <h2 id="about">About</h2>
     <h2 id="coq-tut">Coq Tutorials</h2>
     <ul>
       <li>
-        Tutorial, Chaining Tactics:
+        Tutorial, Chaining Tactics to Simplify and Factorize proofs
         <a href="Tutorial_Chaining_Tactics.html">interactive version</a>
         and
         <a href="Tutorial_Chaining_Tactics.v">source code</a>