another tiny .travis.yml update