fix error due to missing bracket in searchfunctions.php