PHPUnit now knows what to do