Further tweaks to the PHPUnit configuration description