Fix PHP 6