Fix travis-ci setting.