Extra file for when we want to fix the tree deletion