issue #4330: edit document