JOS: make changes to leaves and claim