diff --git a/html/get-frama-c.html b/html/get-frama-c.html
index bee8c12542455320d5ac29faba62d0f1f4c60ffb..7e4360130df3e68798463228811dbcadd2b09c75 100755
--- a/html/get-frama-c.html
+++ b/html/get-frama-c.html
@@ -11,7 +11,7 @@ title: Get Frama-C
     <div id="container" class="mainContainer">
       <div class="getFramaC">
         <div class="wrap">
-          <h1 class="pageTitle">Choose for which terminal you want Frama C</h1>
+          <h1 class="pageTitle">Choose for which OS you want Frama C</h1>
 
           <div class="OS codeTabs">
             <a href="index.html#" role="button" data-tab="linux"><b>Linux</b></a> <a href="index.html#" role="button" data-tab=