Fix incorrect @covers tags