fix #7722