r8216: fix documentation setting