Fix a bug in search.php