Stylistic tweaks to Travis script