Update NEWS for Bug#4093 fix.