Fix @covers