minor changes to travis configuration