issue #383: updated documentation