Workers are repairing the roof.