Fix PHPUnit file