in the #8475 middle short comment