Fix an @covers annotation