solved minor incompatibility with function array_intersect between PHP 5.3 and PHP 5.4