Fix @covers tag