Fix typos in Design Doc