fix #12274