Another minor change to test Travis CI