Re #9958. Updated documentation