fix #7865