Fix error on PHP 5.4