CDK-733: fix doc bug