Minor travis config tweak