Repairing strings and trees