Update NEWS with fix for Bug#4020.