Fixed incompatibility with PHP 5.3 for the search