Fix @covers annotations