Bug fix: Documentation refers to non-existent element (Issue #526)