ChangeLog #9113 now fixed