--- search.pages.inc.orig	2007-12-06 10:51:01.000000000 +0100
+++ search.pages.inc	2009-06-20 16:32:05.000000000 +0200
@@ -13,7 +13,7 @@
   // Search form submits with POST but redirects to GET. This way we can keep
   // the search query URL clean as a whistle:
   // search/type/keyword+keyword
-  if (!isset($_POST['form_id'])) {
+  if (!isset($_POST['keys'])) {
     if ($type == '') {
       // Note: search/node can not be a default tab because it would take on the
       // path of its parent (search). It would prevent remembering keywords when