fixed issue #741: documentation improvement