Minor correction to .travis.yml