Documentation update

No functionality changes.