Small change and restart Travis CI