Re #9684 Fix typo in setting output