fix #12143