Correcting the Travis CI configuration file.