#519 fix a documentation