Fix Tenrec.i7x typos