Travis CI tweaking I