Erratum: Leveraging Flexible Tree Matching to Repair Broken Locators in Web Automation Scripts.