Comments for #7740 by