Update documents/design.md