Admin/website/overview.html

 
       <p>Isabelle is a joint project between Lawrence C. Paulson
       (University of Cambridge, UK) and Tobias Nipkow (Technical
       University of Munich, Germany).</p>
 
-      <h2>Preview on Isabelle</h2>
+      <h2>Preview of Isabelle</h2>
 
         <a href="//media/pg_preview.mov">
             <img class="left" src="//img/isabelle_pg_screenshot_small.png" alt="Sreenshot "
                 width="250" height="277" />
         </a>