Fix @covers tags