Fix whitespace in Thomas.i7x