Added bugfix#9425 to CHANGES file.