Updated NEWS with fix of Bug#4081.