Fix Manticore.i7x typos