Small change to travis config file