Minor changes to the Travis CI configuration file.