NEWS: one more minor fixlet