Followup to #6885: Fixed typo in comment