fix #12566