fix #12154