Fix phpunit annotation