Fixed the Travis CI configuration.