NEWS tweaks for #8011