Small change to travis configuration