Fix a budge of Travis CI