Another travis tweak.