Update NEWS for fix for Bug#4094.