One of the things you do when you repair an umbrella is mend a hole.