documentation update for issue #3047