Documentation hotfix.