Minor travis tweak