Re #9866. Updated documentation.