Travis CI tweak.