Minor changes on travis config