How Roof Punctures Are Repaired