diff --git a/doc/gmsh.html b/doc/gmsh.html
index 931c47425a9d3a08802ecd9653e6c866da0009e8..d0f5fff78032db43628e1463346c5bebfae6cd34 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" SELECTED>All Gmsh resources
 <option value="/gmsh/doc/">Gmsh documentation
-<option value="/pipermail/gmsh/">Gmsh mailing list archive
+<option value="/pipermail/gmsh">Gmsh mailing list archives
 </select>
 </form>