[Bug #8626] API doc fix