Fix compatibility break with PHP 5.3