Fix to travis config file.