just changing travis settings