Fix issue introduced in e3ae552517d91e5e0a946147e44bc976edd69680
Fix issue introduced in e3ae552517d91e5e0a946147e44bc976edd69680

sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage,sebastianbergmann/php-code-coverage