fix @covers annotations