Fix typo in Icarus.i7x