format tweaks to travis config file