Fix Travis CI setting