Update NEWS with fix for Bug#4143.