fix #25612