doc/design : some tweaks