[BUG #8419] improved documentation