update doc/synopsis