Corrections to travis .yml