Clarify description of #2718