Fixing up Travis CI