more formatting cleanups for travis