Fix typos and whitespace in Badger.I7x