Update NEWS for fix for Bug#4077.