fix #12540