Correction

In last week’s newspaper, we reported the appointment of Mike Son to the Marin City Community Development Corporation board. The headline erroneously said he was appointed CEO. The executive director of MCCDC remains Christina Junker.