Documentation fix #2