NEWS: fix minor nits