fix #12789