Update design.txt

Minor documentation improvements