Minor doc addition as requested in #12774.