Bug fix in searchproxy.php.