php-phpunit-PHP-CodeCoverage: typo