Contract workers repair the damage to the children's area at the Barbara Bush Branch Library