* Fix compatibility of PHP 5.4