Made minor changes to travis config file