Fixed Travis CI configuration.