Minor adjustments to travis script