fix #12771