Travis tweaks.