Fix broken @covers tags