Fixed to support PHP 5.3