Taste, a typo. I always modify the phpunit.xml myself, that is why I suggested it but you are right we do not *need* :)