Fix compatibility on PHP 5.3