fix #25681