Minor travis tweaks