diff --git a/doc/gmsh.html b/doc/gmsh.html
index 34b1abb0e43aaaa87ad3d4b4ba4072f464a722cf..baa4ffdc18926c1d9dcf311c14268eae8c48eb93 100644
--- a/doc/gmsh.html
+++ b/doc/gmsh.html
@@ -173,6 +173,7 @@ of complex animations).
 <input size=30 name="q" value="">&nbsp;
 <input type="submit" value="Search!">
 <input type=HIDDEN name="ul" value="/gmsh/">
+<input type=HIDDEN name="ps" value=10>
 </form>
 
 <h2><a name="Mailing lists"></a>Mailing lists</h2>