Correct @covers annotation.