Fixes PHP 5.4 backwards-compat issue.