fix typos in the design document