Fix PHP 5.3 error in last commit.