Minor changes to travis config