Documentation fix for Issue #12