Add missing @covers tag