More Travis tweaks.