Another tweak to travis