Update NEWS with fix for Bug#4124.