fix #7202