Correct travis.yaml