Typos in docs/design.