fix #7217