Update doc/design-document.md