Tweak for Travis CI

This is a commit to try and fix the Travis CI build.