y se cambió su nombre a TiVo Corporation.