minor edits to docs/design