diff --git a/doc/gmsh.html b/doc/gmsh.html
index 500490e85ecd320f050ba1d3e6a1d4760139793f..4efa4d5055eb64a39e2b747e23aaacc8f90fed19 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -201,9 +201,9 @@ program, you can file a report directly
 <input type="submit" value="Search!">&nbsp;
 <input type="hidden" name="ps" value="10">
 <select name="ul">
-  <option value="/" SELECTED>All Gmsh resources
-  <option value="/doc/">Gmsh documentation
-  <option value="/pipermail/gmsh">Gmsh mailing list archives
+  <option value="/" SELECTED>Whole site
+  <option value="/doc/">Documentation
+  <option value="/pipermail/gmsh">Mailing list archives
 </select>
 </form>