minor change to searchresult.php