Update NEWS for fix for Bug#4140.