fix #12531