fix travis config oops