Documentation hotfix