Fix typos and whitespace in Manticore.i7x