fix typos in design doc