Small change to push Travis CI build.