Correct travis-ci configuration.