Really do fix the PHP 5.3 compat issue.