Documenting issue #773