Apply suggestion to doc/design.rst