Documentation fix