Repairing damaged vessels