Another quick Travis tweak...