Fixed a PHP5.3 issue.