Bugfix for search.php