fix #12583