Innocuous change to trigger a new build in Travis CI