Fix issue on PHP 5.3