Fix phpunit @covers tag