Re #10817 minor comments