Doc fix after rebase to latest.