Updated NEWS for fix for Bug#4133.