fix #25945