Fix @covers annotation