Correct @covers