fix #12314