update doc
#1267: tidy documentation