correct travis config