another travis tweak