Fix typos and whitespace in Amy.i7x