to renovate; to repair (a building)