add #5125 to CHANGES