Travis: more tweaks.