Fixed another PHP5.3 issue.