diff --git a/doc/gmsh.html b/doc/gmsh.html
index 0b07a860033992e6df25f975ad801eac6263297e..377b77adc7de75a545cf8b78099aa6a5ba657819 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -77,9 +77,9 @@ capabilities</a>.
 <input type="submit" value="Search!">&nbsp;
 <input type=HIDDEN name="ps" value=10>
 <select name="ul">
-<option value="/gmsh/" SELECTED>all Gmsh resources
-<option value="/gmsh/doc/">documentation
-<option value="/pipermail/gmsh/">mailing lists archives
+<option value="/gmsh/" SELECTED>All Gmsh resources
+<option value="/gmsh/doc/">Gmsh documentation
+<option value="/pipermail/gmsh/">Gmsh mailing list archive
 </select>
 </form>