fix #7560