Add a triple. Should fix the 64 bit bots.
Formatting cleanups; no functional changes.