[Bug #8347] Add missing documentation