Update design.rst