Repair of machinery