diff --git a/web/app/views/index.scala.html b/web/app/views/index.scala.html
index 92ed47a9dc64e610d03e9e21c6737abd6ef018e1..cc8688d98aa889189bce0107c2b3e8f1f49e112b 100644
--- a/web/app/views/index.scala.html
+++ b/web/app/views/index.scala.html
@@ -6,7 +6,7 @@
 
     <div id="contact">
       <p>
-        <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>. A good starting point is to copy-paste the source from an example in <a alt="Leon Examples" href="http://lara.epfl.ch/~psuter/leonexamples/">this list</a> and to click the <i>Verify&nbsp;!</i> button.
+        <i>Leon</i> is developed by the <a alt="LARA Group EPFL" href="http://lara.epfl.ch">LARA</a> group at <a href="http://www.epfl.ch">EPFL</a>.
       </p>
     </div>
     <div id="leonmain" class="contentbox">