Updating NEWS, release notes for fix for Bug#4144.