diff --git a/search.php b/search.php
index 17d43c929..39d46f26f 100644
--- a/search.php
+++ b/search.php
@@ -88,6 +88,8 @@ else {
 
     // Print out common header
     site_header("Search");
+    echo "<p>The search feature is accessible via the form elements at the top right of this page.</p>";
+    if (FALSE) {
     if (isset($EXPL_LANG)) {
         $lang_input = "  <input type=\"hidden\" name=\"lang\" value=\"{$EXPL_LANG}\" />\n";
     } else {
@@ -126,5 +128,6 @@ foreach ($searchoptions as $key => $value) {
  </p>
 </form>
 <?php
+    }
     site_footer(array("functionsjs"));
 }