Slightly less specific instructions for PHPUnit