Fixes E_NOTICE when using array_diff with PHP 5.4