one more travis tweak