fix #12936