[BUG #8635] Fixed documentation