documentation update related to previous change (bug1794)