Small fix to travis config.