fix #7738