Fix Travis CI configuration file.