Fix PHP 5.5 failure.