Another travis tweak....