Correct travis-ci config.