Correct travis config