Fix @covers usage