Thoughts on how to fix a depression in the roof