Natural gas leak repaired at Maben Library