Minor correction to the .travis.yml configuration file