Fixed to work with PHP 5.2