fix #7213