correct travis.ci