Fixes a PHP version incompatability issue.