fix #12261