Really fix the PHP 5.4 error now.