Fix jackalboy.i7x typos