Update NEWS with fix for Bug#4116.