Fixed the previous commit for PHP 5.3